A sharp threshold in proof complexity (2001)

by Dimitris Achlioptas , Paul Beame , Michael Molloy
Venue:PROCEEDINGS OF STOC 2001
Citations:53 - 12 self