Donald Knuth: "The Art of Computer Programming: Satisfiability and Combinatorics"