A Sharp Threshold in Proof Complexity Yields Lower Bounds for Satisfiability Search

by Dimitris Achlioptas , Paul Beame , Michael Molloy
Citations:11 - 3 self