Rigorous results for random (2+p)-SAT

Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc. Rigorous results for random (2+p)-SAT. Theoretical Computer Science, 265(1-2):109-129, 2001. [doi]

Authors

Dimitris Achlioptas

This author has not been identified. Look up 'Dimitris Achlioptas' in Google

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