Login / Signup

Davis-Putnam Resolution versus Unrestricted Resolution.

Andreas Goerdt
Published in: Ann. Math. Artif. Intell. (1992)
Keyphrases
  • search algorithm
  • clause learning
  • reinforcement learning
  • constraint satisfaction
  • davis putnam