Kul-TCS-99

@article{Kul-TCS-99,
title = {New methods for 3-SAT decision and worst-case analysis},
author = {Oliver Kullmann},
journal = {Theoretical Computer Science},
volume = {223},
number = {1--2},
pages = {1--72},
month = {Jul},
year = {1999}}

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