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

Cached

Download Links

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