Return to Article Details Improved Separations of Regular Resolution from Clause Learning Proof Systems Download Download PDF