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 Stanford GraphBase and CWEB
A Platform for Combinatorial Computing and a System of Structured Documentation
Posted on January 25, 2026
|
1 min
|
9 words
|
Donald E. Knuth