Friedrich, T.; Krohmer, A.; Rothenberger, R.; Sutton, A. Phase Transitions for Scale-Free SAT Formulas. AAAI 2017, 31.