Works by or with Vijay Ganesh in the bibliography:On the Unreasonable Effectiveness of SAT Solvers (2021)