T. Friedrich, A. Krohmer, R. Rothenberger, and A. Sutton, “Phase Transitions for Scale-Free SAT Formulas”, AAAI, vol. 31, no. 1, Feb. 2017.