An improved exponential-time algorithm for k...

Journal of the ACM 2005 / 05 Vol. 52; Iss. 3

An improved exponential-time algorithm for k -SAT

Paturi, Ramamohan, Pudlák, Pavel, Saks, Michael E., Zane, Francis
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
52
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/1066100.1066101
Date:
May, 2005
File:
PDF, 222 KB
english, 2005
Conversion to is in progress
Conversion to is failed