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

Cached

Download Links

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