Friedrich, Tobias, Anton Krohmer, Ralf Rothenberger, and Andrew Sutton. 2017. “Phase Transitions for Scale-Free SAT Formulas”. Proceedings of the AAAI Conference on Artificial Intelligence 31 (1). https://doi.org/10.1609/aaai.v31i1.11133.