Kambhampati, S.; Liu, T. Phase Transition and Network Structure in Realistic SAT Problems. AAAI 2013, 27, 1619-1620.