Liu S, Papakonstantinou P. Local Search for Hard SAT Formulas: The Strength of the Polynomial Law. AAAI [Internet]. 2016Feb.21 [cited 2024Apr.27];30(1). Available from: https://ojs.aaai.org/index.php/AAAI/article/view/10083