A sharp threshold in proof complexity (2001)

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