New methods for 3-SAT decision and worst-case analysis

Oliver Kullmann
Theoretical Computer Science 223(1–2):1–72, Jul 1999

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!