Playlist: 22 videos

Satisfiability: Theory, Practice, and Beyond Boot Camp

0:51:21

Programming Z3

Nikolaj Björner (Microsoft Research)
https://simons.berkeley.edu/talks/tba-135
Satisfiability: Theory, Practice, and Beyond Boot Camp
Visit talk page
1:2:46

Using SAT Solvers to Prevent Causal Failures in the Cloud

Ruzica Piskac (Yale University)
https://simons.berkeley.edu/talks/tbd-265
Satisfiability: Theory, Practice, and Beyond Boot Camp
Visit talk page