The silent (R)evolution of SAT (2023)
(cacm.acm.org)
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.