AN16 - SP2: The John von Neumann Lecture: The Art of Computer Programming: Satisfiability and Combinatorics AN16-SP2.pdf