Preprocessing for Propositional Model Counting.

Jean-Marie Lagniez, Pierre Marquis

Browse the full AAAI paper archive.