Ganesh, Vijay and Moshe Y. Vardi, ‘On the Unreasonable Effectiveness of SAT Solvers’, Beyond the Worst-Case Analysis of Algorithms, edited by Tim Roughgarden, Cambridge University Press, 2021, pp 547–566.
book chapter · https://doi.org/10.1017/9781108637435.032