On the complexity of $k$-SAT

Russell Impagliazzo and Ramamohan Paturi
J. Computer & Systems Sciences 62(2):367–375, Mar 2001

Cites:

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