Algorithms for propositional model counting.

Marko Samer Stefan Szeider

Published in: J. Discrete Algorithms (2010)

Keyphrases

orders of magnitude
learning algorithm
model counting
search algorithm
search space
satisfiability testing