The Good Old Davis-Putnam Procedure Helps Counting Models

Elazar Birnbaum Eliezer L. Lozinskii

Published in: CoRR (2011)

Keyphrases

davis putnam
propositional logic
sat problem
propositional satisfiability
orders of magnitude
satisfiability problem