Playlist: 23 videos

50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing

Remote video URL
0:55:20
Jack Edmonds (University of Waterloo)
https://simons.berkeley.edu/talks/existentially-polytime-theorems
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
1:23:5
Russell Impagliazzo (UC San Diego)
https://simons.berkeley.edu/talks/tbd-268
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
0:50:56
Christos Papadimitriou (Columbia University)
https://simons.berkeley.edu/talks/tbd-269
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
1:6:55
Ryan Williams (MIT)
https://simons.berkeley.edu/talks/tbd-270
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
0:52:11
Moshe Vardi (Rice University)
https://simons.berkeley.edu/talks/progress-symbolic-satisfiability-solving
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
0:55:56
Karem Sakallah (University of Michigan)
https://simons.berkeley.edu/talks/clone-tbd-2
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
0:55:1
Dick Karp (UC Berkeley)
https://simons.berkeley.edu/talks/dawn-computational-complexity-theory
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
1:0:10
Avi Wigderson (Institute for Advanced Study)
https://simons.berkeley.edu/talks/tbd-271
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
1:18:5
Amin Coja-Oghlan (Goethe University)
https://simons.berkeley.edu/talks/tbd-283
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page
Remote video URL
0:51:1
Jan Krajicek (Charles University in Prague)
https://simons.berkeley.edu/talks/tbd-285
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Visit talk page