Random samples from Don Knuth's latest book - Satisfiability
Professor Donald Knuth
- 14:00 8th March 2016 ( Hilary Term 2016 )Lecture Theatre B
The speaker will discuss whatever pages of his new book about Satisfiability are chosen for examination, by means of fair dice rolled by the audience.