S. Kambhampati and T. Liu, “Phase Transition and Network Structure in Realistic SAT Problems”, AAAI, vol. 27, no. 1, pp. 1619-1620, Jun. 2013.