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