Clause Learning Can Effectively P-Simulate General Propositional Resolution.

Philipp Hertel Fahiem Bacchus Toniann Pitassi Allen Van Gelder Clause Learning Can Effectively P-Simulate General Propositional Resolution. 283-290 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#HertelBPG08