Regular and General Resolution: An Improved Separation.

Alasdair Urquhart

Browse the full SAT paper archive.