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