Heuristics for Fast Exact Model Counting.

Tian Sang Paul Beame Henry A. Kautz

Published in: SAT (2005)

Keyphrases

model counting
weighted model counting
polynomial size
knowledge compilation
search algorithm
heuristic search
satisfiability testing
search strategies
probabilistic inference
search space
heuristic function