Combining Component Caching and Clause Learning for Effective Model Counting.

Tian Sang Fahiem Bacchus Paul Beame Henry A. Kautz Toniann Pitassi

Published in: SAT (2004)

Keyphrases

sat solvers
clause learning
model counting
information retrieval
evolutionary algorithm
graphical models