Phase Transitions for Scale-Free SAT Formulas.

Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Andrew M. Sutton

Browse the full AAAI paper archive.