The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability.

Thomas Blsius, Tobias Friedrich, Andreas Gbel, Jordi Levy, Ralf Rothenberger

Browse the full SODA paper archive.