Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability.

Nobuhiro Yugami

Browse the full IJCAI paper archive.