Login / Signup
Preprocessing for Propositional Model Counting.
Jean-Marie Lagniez
Pierre Marquis
Published in:
AAAI (2014)
Keyphrases
</>
model counting
preprocessing
satisfiability testing
knowledge compilation
weighted model counting
polynomial size
propositional logic
propositional formulas
relational databases
bounded treewidth