Approximating the Unsatisfiability Threshold of Random Formulas (Extended Abstract).

Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc

Browse the full ESA paper archive.