Satisfiability and The Art of Computer Programming.

Donald E. Knuth

Browse the full SAT paper archive.