New methods for 3-SAT decision and worst-case analysis (1999)

by O. Kullmann
Venue:THEORETICAL COMPUTER SCIENCE