Nobuhiro Yugami Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. 282-288 1995 IJCAI db/conf/ijcai/ijcai95.html#Yugami95