Soumya C. Kambhampati, Thomas Liu. Phase Transition and Network Structure in Realistic SAT Problems. In Marie desJardins, Michael L. Littman, editors, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2012, Bellevue, Washington, USA. pages 1619-1620, AAAI Press, 2013. [doi]
Abstract is missing.