On Preprocessing Techniques and Their Impact on Propositional Model Counting.

Jean-Marie Lagniez Pierre Marquis

Published in: J. Autom. Reason. (2017)

Keyphrases

model counting
preprocessing
weighted model counting
knowledge compilation
satisfiability testing
polynomial size
propositional logic
natural language
propositional formulas