New methods for 3-SAT decision and worst-case analysis (1999)

Cached

Download Links

by O. Kullmann
Venue:THEORETICAL COMPUTER SCIENCE
Citations:65 - 12 self

Document Versions

New methods for 3-SAT decision and worst-case analysis –O. Kullmann — 1999 — THEORETICAL COMPUTER SCIENCE