title = {Worst-case analysis, 3-SAT decision and lower bounds: approaches for improved SAT algorithms},
author = {Oliver Kullmann},
booktitle = {Satisfiability Problem: Theory and Applications},
number = {35},
editor = {Ding-Zhu Du and Jun Gu and Panos M. Pardalos},
series = {DIMACS Ser. Discrete Math. and Theoretical Computer Science},
publisher = {Amer. Math. Soc.},
pages = {261--313},
year = {1997},
url = {http://cs-svr1.swan.ac.uk/~csoliver/Artikel/procfin2e.ps}}

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