Login / Signup

The Good Old Davis-Putnam Procedure Helps Counting Models.

Elazar BirnbaumEliezer L. Lozinskii
Published in: J. Artif. Intell. Res. (1999)
Keyphrases
  • davis putnam
  • propositional logic
  • sat problem
  • tree search
  • utility function