Algebraic Model Counting

Angelika Kimmig Guy Van den Broeck Luc De Raedt

Published in: CoRR (2012)

Keyphrases

model counting
weighted model counting
knowledge compilation
satisfiability testing
polynomial size
state space
propositional formulas
expert systems
relational databases