Approximating the unsatisfiability threshold of random formulas

Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Yannis C. Stamatiou. Approximating the unsatisfiability threshold of random formulas. Random Struct. Algorithms, 12(3):253-269, 1998.

Authors

Lefteris M. Kirousis

This author has not been identified. Look up 'Lefteris M. Kirousis' in Google

Evangelos Kranakis

This author has not been identified. Look up 'Evangelos Kranakis' in Google

Danny Krizanc

This author has not been identified. Look up 'Danny Krizanc' in Google

Yannis C. Stamatiou

This author has not been identified. Look up 'Yannis C. Stamatiou' in Google