New methods for 3-SAT decision and worst-case analysis
Oliver Kullmann
Theoretical Computer Science
223(1–2):1–72, Jul 1999
Cites:
3-coloring in time $O(1.3446^n)$: a no-MIS algorithm
[
D. Eppstein publications
] [
Citation database
] [
Documents
]
Fano
Experimental Web Server,
D. Eppstein
,
School of Information & Computer Science
,
UC Irvine
