Lower Bounds for the Lengths of Refutations

Hai-Ping Ko, David A. McAllester, Mark E. Nadel. Lower Bounds for the Lengths of Refutations. Journal of Logic and Algebraic Programming, 17(1):31-58, 1993.

Abstract

Abstract is missing.