A Near-Optimal Separation of Regular and General Resolution

Alasdair Urquhart. A Near-Optimal Separation of Regular and General Resolution. SIAM Journal on Computing, 40(1):107-121, 2011. [doi]

Abstract

Abstract is missing.