A sharp threshold in proof complexity.

Dimitris Achlioptas, Paul Beame, Michael S. O. Molloy

Browse the full STOC paper archive.