Fichte, Johannes K. and Berre, Daniel Le and Hecher, Markus and Szeider, Stefan, 2023. The Silent (R)evolution of SAT. In Commun. ACM, Association for Computing Machinery, New York, NY, USA, vol. 66, pp. 64–72.
Abstract: Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.