Armin Biere (Johannes Kepler University)
https://simons.berkeley.edu/talks/tbd...
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Watch video A Personal History of Practical SAT Solving online without registration, duration hours minute second in high quality. This video was added by user Simons Institute 01 January 1970, don't forget to share it with your friends and acquaintances, it has been viewed on our site 1,611 once and liked it 35 people.