Two new upper bounds for SAT (1998)

Cached

Download Links

by Edward A. Hirsch , O. Kullmann
Citations:19 - 8 self