Algebraic model counting.

Angelika Kimmig Guy Van den Broeck Luc De Raedt

Published in: J. Appl. Log. (2017)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
probabilistic inference
upper bound
orders of magnitude
randomly generated