New Worst-Case Upper Bounds for SAT

Edward A. Hirsch. New Worst-Case Upper Bounds for SAT. Journal of Automated Reasoning, 24(4):397-420, 2000.

Abstract

Abstract is missing.