Modern SAT solvers: fast, neat and underused (2018)

The article discusses modern SAT solvers, which are powerful tools for solving Boolean satisfiability problems. It highlights the speed, efficiency, and underutilization of these solvers, and promises to explore them in more depth in a multi-part series.