Kambhampati S, Liu T. Phase Transition and Network Structure in Realistic SAT Problems. AAAI [Internet]. 2013Jun.29 [cited 2024May4];27(1):1619-20. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8529