Works by or with Moshe Y. Vardi in the bibliography:Boolean satisfiability: theory and engineering (2014)On the Unreasonable Effectiveness of SAT Solvers (2021)