Playlist: 50 videos

The Unreasonable Effectiveness of SAT Solving

,
,
0:39:37

Proof Complexity Toolbox

Joanna Ochremiak (CNRS)
https://simons.berkeley.edu/talks/proof-complexity-toolbox
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:37:34

Proof Complexity Toolbox

Robert Robere (McGill University)
https://simons.berkeley.edu/talks/proof-complexity-toolbox
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:49:23

Proof Complexity Toolbox

Susanna de Rezende (Czech Academy of Sciences)
https://simons.berkeley.edu/talks/proof-complexity-toolbox
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
,
0:28:58

The Proof Complexity of Solvers

Noah Fleming (University of Toronto),
https://simons.berkeley.edu/talks/recent-advances-proof-complexity-solvers
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
,
0:42:56

The Proof Complexity of Solvers

Paul Beame (University of Washington)
https://simons.berkeley.edu/talks/recent-advances-proof-complexity-solvers
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
,
0:24:57

The Proof Complexity of Solvers

Chunxiao (Ian) Li (University of Waterloo)
https://simons.berkeley.edu/talks/recent-advances-proof-complexity-solvers
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
,
0:22:30

The Proof Complexity of Solvers

Marc Vinyals (Technion - Israel Institute of Technology)
https://simons.berkeley.edu/talks/recent-advances-proof-complexity-solvers
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:39:13

Non-CDCL Solvers

Marijn Heule (Carnegie Mellon University)
https://simons.berkeley.edu/talks/non-cdcl-solvers
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:33:34

Non-CDCL Solvers

Zhiwei Zhang (Rice University)
https://simons.berkeley.edu/talks/non-cdcl-solvers
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:43:1

Non-CDCL Solvers

Jakob Nordstrom (University of Copenhagen & Lund University)
https://simons.berkeley.edu/talks/non-cdcl-solvers
Theoretical Foundations of SAT/SMT Solving
Visit talk page