Clause Learning Can Effectively P-Simulate General Propositional Resolution.

Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder

Browse the full AAAI paper archive.