Login / Signup

Davis-Putnam Resolution versus Unrestricted Resolution.

Andreas Goerdt
Published in: CSL (1989)
Keyphrases
  • clause learning
  • data structure
  • search space
  • constraint satisfaction
  • davis putnam