Liu, Sixue, and Periklis Papakonstantinou. “Local Search for Hard SAT Formulas: The Strength of the Polynomial Law”. Proceedings of the AAAI Conference on Artificial Intelligence 30, no. 1 (February 21, 2016). Accessed May 16, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/10083.