AN16 - SP2: The John von Neumann Lecture: The Art of Computer Programming: Satisfiability and Combinatorics Presentation: Donald E Knuth, Stanford University, USA, 70 min 26 sec
AN16 - SP2: The John von Neumann Lecture: The Art of Computer Programming: Satisfiability and Combinatorics Document: View PDF