TAOCP, Volume 4, Fascicle 6: Satisfiability
Literate programming, implementations and their containers.
Posted on January 28, 2026
| 3 min
| 550 words
| Donald E. Knuth
The Silent (R)evolution of SAT
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Posted on May 24, 2023
| 1 min
| 49 words
| Johannes K. Fichte
| Daniel Le Berre
| Markus Hecher
| Stefan Szeider