Two New Upper Bounds for SAT

Edward A. Hirsch. Two New Upper Bounds for SAT. In SODA. pages 521-530, 1998.

Abstract

Abstract is missing.