–
Theoretical Foundation of Solvers: Context, Directions and Open Problems

Vijay Ganesh (University of Waterloo), Laurent Simon (Bordeaux INP), and David …
Video
–
Theoretical Foundation of Solvers: Context, Directions and Open Problems

Vijay Ganesh (University of Waterloo), Laurent Simon (Bordeaux INP), and David …
Video
–
Theoretical Foundation of Solvers: Context, Directions and Open Problems

Vijay Ganesh (University of Waterloo), Laurent Simon (Bordeaux INP), and David …
Video
–
Structure of SAT Instances

Jordi Levy (Artificial Intelligence Research Institute, Spanish National Resear…
Video
–
Structure of SAT Instances

Jordi Levy (Artificial Intelligence Research Institute, Spanish National Resear…
Video
–
Structure of SAT Instances

Jordi Levy (Artificial Intelligence Research Institute, Spanish National Resear…
Video
–
Theory of Encodings

Oliver Kullmann (Swansea University), Ciaran McCreesh (University of Glasgow), …
Video
–
Theory of Encodings

Oliver Kullmann (Swansea University), Ciaran McCreesh (University of Glasgow), …
Video
–
Theory of Encodings

Oliver Kullmann (Swansea University), Ciaran McCreesh (University of Glasgow), …
Video
–
Encodings Showcase
Video
–
Proof Complexity Toolbox

Robert Robere (McGill University), Susanna de Rezende (Czech Academy of Science…
Video
–
Proof Complexity Toolbox

Robert Robere (McGill University), Susanna de Rezende (Czech Academy of Science…
Video
–
Proof Complexity Toolbox

Robert Robere (McGill University), Susanna de Rezende (Czech Academy of Science…
Video
–
The Proof Complexity of Solvers

Paul Beame,
Marc Vinyals,
Noah Fleming,
Chunxiao (Ian) Li
Video
–
The Proof Complexity of Solvers

Paul Beame,
Marc Vinyals,
Noah Fleming,
Chunxiao (Ian) Li
Video
–
The Proof Complexity of Solvers

Paul Beame,
Marc Vinyals,
Noah Fleming,
Chunxiao (Ian) Li
Video
–
The Proof Complexity of Solvers

Paul Beame,
Marc Vinyals,
Noah Fleming,
Chunxiao (Ian) Li
Video
–
Non-CDCL Solvers

Marijn Heule (Carnegie Mellon University),
Jakob Nordstrom (University of Copenhagen & Lund University),
Zhiwei Zhang (Rice University)
Video
–
Non-CDCL Solvers

Marijn Heule (Carnegie Mellon University),
Jakob Nordstrom (University of Copenhagen & Lund University),
Zhiwei Zhang (Rice University)
Video
–
Non-CDCL Solvers

Marijn Heule (Carnegie Mellon University),
Jakob Nordstrom (University of Copenhagen & Lund University),
Zhiwei Zhang (Rice University)
Video
–
Theorem Proving Strategies and Decision Procedures for Satisfiability

Maria Paola Bonacina (Università degli Studi di Verona),
Philipp Rümmer (Uppsala University)
Video
–
Theorem Proving Strategies and Decision Procedures for Satisfiability

Maria Paola Bonacina (Università degli Studi di Verona),
Philipp Rümmer (Uppsala University)
Video
–
Finite Model Theory

Albert Atserias (UPC Barcelona),
Benedikt Pago (Rwth Aachen University),
Antonina Kolokolova (Memorial University of Newfoundland)
Video
–
Finite Model Theory

Albert Atserias (UPC Barcelona),
Benedikt Pago (Rwth Aachen University),
Antonina Kolokolova (Memorial University of Newfoundland)
Video
–
Finite Model Theory

Albert Atserias (UPC Barcelona),
Benedikt Pago (Rwth Aachen University),
Antonina Kolokolova (Memorial University of Newfoundland)
Video
–
SAT and Foundations of Mathematics

Sasha Razborov (University of Chicago),
Pavel Pudlák (Czech Academy of Sciences),
Shai Ben-David (University of Waterloo)
Video
–
SAT and Foundations of Mathematics

Sasha Razborov (University of Chicago),
Pavel Pudlák (Czech Academy of Sciences),
Shai Ben-David (University of Waterloo)
Video
–
SAT and Foundations of Mathematics

Sasha Razborov (University of Chicago),
Pavel Pudlák (Czech Academy of Sciences),
Shai Ben-David (University of Waterloo)
Video
–
SAT for Math
–
Computer Algebra and SAT for Mathematical Search

Curtis Bright (University of Windsor)
Video
–
Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics

Erika Abraham (RWTH Aachen University)
Video
–
An Automated Approach to the Collatz Conjecture

Emre Yolcu (Carnegie Mellon University)
Video
–
ML for Solvers
–
Predicting Satisfiability at the Phase Transition via End-to-End Learning

Kevin Leyton Brown (University of British Columbia)
Video
–
Learning to Schedule Heuristics in Branch and Bound

Elias Khalil (University of Toronto)
Video
–
Extensions of CDCL Branching Heuristics by Exploration during Conflict Depression

Md. Solimul Chowdhury (University of Alberta)
Video
–
Learning to Solve SMT Formulas

Mislav Balunović (ETH Zurich)
Video
–
Preprocessing SAT, MaxSAT, and QBF

Benjamin Kiesl (SAP), Jeremias Berg (University of Helsinki), and Martina Seidl…
Video
–
Preprocessing SAT, MaxSAT, and QBF

Benjamin Kiesl (SAP), Jeremias Berg (University of Helsinki), and Martina Seidl…
Video
–
Preprocessing SAT, MaxSAT, and QBF

Benjamin Kiesl (SAP), Jeremias Berg (University of Helsinki), and Martina Seidl…
Video
–
Logic + Machine Learning
–
Unifying Logical and Statistical AI with Markov Logic

Pedro Domingos (University of Washington)
Video
–
Constrained Gradient Descent Algorithm for Testing Neural Networks

Vineel Nagisetty (University of Waterloo)
Video
–
DL2: Training and Querying Neural Networks with Logic

Marc Fischer (ETH Zurich)
Video
–
Training Neural Networks with a Little Help from Knowledge

Vivek Srikumar (University of Utah)
Video