Recognizing More Unsatisfiable Random k...

SIAM Journal on Computing 2005 / 01 Vol. 35; Iss. 2

Recognizing More Unsatisfiable Random k -SAT Instances Efficiently

Friedman, Joel, Goerdt, Andreas, Krivelevich, Michael
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:
35
Language:
english
Journal:
SIAM Journal on Computing
DOI:
10.1137/s009753970444096x
Date:
January, 2005
File:
PDF, 265 KB
english, 2005
Conversion to is in progress
Conversion to is failed