Playlist: 13 videos

Beyond Satisfiability

Remote video URL
2:3:0
Martina Seidl (Johannes Kepler University Linz), Florian Lonsing (Stanford University)
https://simons.berkeley.edu/talks/qbf-solving
Beyond Satisfiability
Visit talk page
Remote video URL
1:59:59
Mikoláš Janota (Czech Technical University)
https://simons.berkeley.edu/talks/tbd-310
Beyond Satisfiability
Visit talk page
Remote video URL
2:7:55
Aida Khajavirad (Lehigh University)
https://simons.berkeley.edu/talks/tbd-301
Beyond Satisfiability
Visit talk page