TAOCP: Volume 4, Fascicle 6.
Satisfiability
Posted on January 28, 2026
|
3 min
|
620 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