Playlist: 50 videos

The Unreasonable Effectiveness of SAT Solving

,
1:0:6

Theorem Proving Strategies and Decision Procedures for Satisfiability

Maria Paola Bonacina (Università degli Studi di Verona)
https://simons.berkeley.edu/talks/theorem-proving-strategies-and-decision-procedures-satisfiability
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
0:47:36

Theorem Proving Strategies and Decision Procedures for Satisfiability

Philipp Rümmer (Uppsala University)
https://simons.berkeley.edu/talks/theorem-proving-strategies-and-decision-procedures-satisfiability
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:38:3

Finite Model Theory

Benedikt Pago (Rwth Aachen University)
https://simons.berkeley.edu/talks/finite-model-theory
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:43:9

Finite Model Theory

Antonina Kolokolova (Memorial University of Newfoundland)
https://simons.berkeley.edu/talks/finite-model-theory
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:41:40

Finite Model Theory

Albert Atserias (UPC Barcelona)
https://simons.berkeley.edu/talks/finite-model-theory
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:44:32

SAT and Foundations of Mathematics

Pavel Pudlák (Czech Academy of Sciences)
https://simons.berkeley.edu/talks/sat-and-foundations-mathematics
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:45:38

SAT and Foundations of Mathematics

Shai Ben-David (University of Waterloo)
https://simons.berkeley.edu/talks/sat-and-foundations-mathematics
Theoretical Foundations of SAT/SMT Solving
Visit talk page
,
,
0:54:40

SAT and Foundations of Mathematics

Sasha Razborov (University of Chicago)
https://simons.berkeley.edu/talks/sat-and-foundations-mathematics
Theoretical Foundations of SAT/SMT Solving
Visit talk page
0:40:51

Computer Algebra and SAT for Mathematical Search

Curtis Bright (University of Windsor)
https://simons.berkeley.edu/talks/clone-clone-sat-math
Theoretical Foundations of SAT/SMT Solving
Visit talk page
0:37:10

Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics

Erika Abraham (RWTH Aachen University)
https://simons.berkeley.edu/talks/clone-sat-math
Theoretical Foundations of SAT/SMT Solving
Visit talk page