Login / Signup

Average Time Analyses of Simplified Davis-Putnam Procedures.

Allen GoldbergPaul Walton Purdom Jr.Cynthia A. Brown
Published in: Inf. Process. Lett. (1982)
Keyphrases
  • davis putnam
  • propositional logic
  • satisfiability problem
  • propositional satisfiability
  • sat problem
  • knowledge base
  • search algorithm
  • search space
  • phase transition