![](/sites/default/files/styles/workshop_banner_sm_1x/public/satisfiability_theory_practice_and_beyond.png.jpg?itok=s4ZlXb5c)
Playlist: 22 videos
Satisfiability: Theory, Practice, and Beyond Boot Camp
0:51:21
Nikolaj Björner (Microsoft Research)
https://simons.berkeley.edu/talks/tba-135
Satisfiability: Theory, Practice, and Beyond Boot Camp
Visit talk page
https://simons.berkeley.edu/talks/tba-135
Satisfiability: Theory, Practice, and Beyond Boot Camp
1:2:46
Ruzica Piskac (Yale University)
https://simons.berkeley.edu/talks/tbd-265
Satisfiability: Theory, Practice, and Beyond Boot Camp
Visit talk page
https://simons.berkeley.edu/talks/tbd-265
Satisfiability: Theory, Practice, and Beyond Boot Camp