An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning.

Maria Luisa Bonet, Samuel R. Buss

Browse the full SAT paper archive.