Login / Signup

Implementing the Davis-Putnam Method.

Hantao ZhangMark E. Stickel
Published in: J. Autom. Reason. (2000)
Keyphrases
  • dynamic programming
  • upper bound
  • search methods