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
|
928 words
|
Daniel P. Friedman Matthias Felleisen
The Little Schemer
Posted on January 30, 1996
|
5 min
|
856 words
|
Daniel P. Friedman Matthias Felleisen