Theoretical Foundations of SAT/SMT Solving

Laurent Simon (Bordeaux INP)
https://simons.berkeley.edu/talks/tbd-263
Theoretical Foundations of SAT/SMT Solving

David Mitchell (Simon Fraser University)
https://simons.berkeley.edu/talks/tbd-263
Theoretical Foundation of Solvers: Context, Directions and Open Problems

Vijay Ganesh (University of Waterloo)
https://simons.berkeley.edu/talks/tbd-263
Theoretical Foundations of SAT/SMT Solving

Stefan Szeidar (TU Wien)
https://simons.berkeley.edu/talks/tbd-264
Theoretical Foundations of SAT/SMT Solving

Ralf Rothenberger (University of Potsdam)
https://simons.berkeley.edu/talks/tbd-264
Theoretical Foundations of SAT/SMT Solving

Jordi Levy (Artificial Intelligence Research Institute, Spanish National Research Council)
https://simons.berkeley.edu/talks/tbd-264
Theoretical Foundations of SAT/SMT Solving

Oliver Kullmann (Swansea University)
https://simons.berkeley.edu/talks/theory-encodings
Theoretical Foundations of SAT/SMT Solving

Maria Bonet (Universitat Politècnica de Catalunya)
https://simons.berkeley.edu/talks/theory-encodings
Theoretical Foundations of SAT/SMT Solving

Ciaran McCreesh (University of Glasgow)
https://simons.berkeley.edu/talks/theory-encodings
Theoretical Foundations of SAT/SMT Solving

https://simons.berkeley.edu/talks/encodings-showcase
Theoretical Foundations of SAT/SMT Solving