The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability

Author: Donald Ervin Knuth
4.6
This Year Hacker News 2