Cited publications in Beyond the Worst-Case Analysis of Algorithms:On the Unreasonable Effectiveness of SAT Solvers (2021)