An Improved Exponential-time Algorithm for k-SAT (1998)

Cached

Download Links

by Ramamohan Paturi , Pavel Pudlák , Michael E. Saks , Francis Zane
Citations:84 - 5 self