The Efficiency of Resolution and Davis--Putnam Procedures.

Paul Beame Richard M. Karp Toniann Pitassi Michael E. Saks

Published in: SIAM J. Comput. (2002)

Keyphrases

davis putnam
clause learning
propositional logic
satisfiability problem
evolutionary algorithm
monte carlo
path planning
sat problem
artificial intelligence
reinforcement learning
data structure
search algorithm
computational complexity
special case
belief revision
automated reasoning