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 Seasoned Schemer
Posted on January 31, 1996
| 5 min
| 919 words
| Daniel P. Friedman
| Matthias Felleisen
The Little Schemer
Posted on January 30, 1996
| 4 min
| 825 words
| Daniel P. Friedman
| Matthias Felleisen