Theory and Practice of Satisfiability Solving

Videos from BIRS Workshop 18w5208

, LaBRI / University of Bordeaux
- 10:02
Towards an (experimental) understanding of SAT Solvers
Watch video | Download video: 201808270859-Simon.mp4 (208M)
, Università degli studi di Roma - La Sapienza
- 11:14
Introduction to Proof Complexity for SAT practitioner
Watch video | Download video: 201808271011-Lauria.mp4 (223M)
, University of Texas at Austin
- 12:45
Computable Short Proofs
Watch video | Download video: 201808271143-Heule.mp4 (247M)
, KU Leuven
- 17:42
Symmetry in SAT - a quest for pigeonhole
Watch video | Download video: 201808271644-Devriendt.mp4 (192M)
, KTH Royal Institute of Technology
- 18:03
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Watch video | Download video: 201808271736-Gocht.mp4 (112M)
, KTH Royal Institute of Technology
- 18:36
Clique Is Hard for State-of-the-Art Algorithms
Watch video | Download video: 201808271808-deRezende.mp4 (115M)
, Rice University
- 19:06
Boolean Satisfiability: Theory and Engineering
Watch video | Download video: 201808271841-Vardi.mp4 (127M)
, KTH Royal Institute of Technology
- 10:09
Towards Faster Conflict-Driven Pseudo-Boolean Solving
Watch video | Download video: 201808280904-Nordstrom.mp4 (193M)
, Zuse Institute Berlin
- 13:48
Computational Mixed-Integer Programming
Watch video | Download video: 201808281242-Gleixner.mp4 (257M)
, LASIGE, Faculty of Sciences, University of Lisbon
- 17:04
Towards MaxSAT-Based Proof Systems
Watch video | Download video: 201808281635-Marques-Silva.mp4 (98M)
, VMware Research
- 17:41
Formal Analysis of Deep Binarized Neural Networks
Watch video | Download video: 201808281707-Narodytska.mp4 (113M)
, Université d'Artois
- 18:13
Pseudo-Boolean Optimization
Watch video | Download video: 201808281744-LeBerre.mp4 (107M)
, Tata Institute of Fundamental Research
- 18:44
Proof Systems for Pseudo-Boolean Solving
Watch video | Download video: 201808281815-Vinyals.mp4 (98M)
, University of California, San Diego
- 19:22
The (un)reasonable (in)effectiveness of theory for Sat solvers
Watch video | Download video: 201808281849-Buss.mp4 (98M)
, Johannes Kepler University
- 10:10
Gröbner bases and applications
Watch video | Download video: 201808290904-Janota.mp4 (212M)
, Johannes Kepler University
- 10:10
Gröbner bases and applications
Watch video | Download video: 201808290904-Kauers.mp4 (227M)
, University of Leeds
- 11:15
QBF Proof Complexity
Watch video | Download video: 201808291016-Beyersdorff.mp4 (193M)
, University of Oxford
- 12:30
A Survey on Worst-Case Complexity of SAT
Watch video | Download video: 201808301131-Santhanam.mp4 (217M)
, Umeå universitet
- 12:32
Random k-sat. A review and some new results.
Watch video | Download video: 201808301139-Markstrom.mp4 (167M)
, Iowa State University
- 13:10
MAX-SAT for Temporal Logics
Watch video | Download video: 201808301234-Rozier.mp4 (129M)
, Carnegie Mellon University
- 13:48
Conflict-Driven Synthesis
Watch video | Download video: 201808301315-Martins.mp4 (114M)
, Johannes Kepler University
- 17:01
The Symmetry Rule for Quantified Boolean Formulas
Watch video | Download video: 201808301635-Seidl.mp4 (95M)
, Memorial University of Newfoundland
- 17:36
The Proof Complexity of SMT Solvers
Watch video | Download video: 201808301704-Kolokolova.mp4 (113M)
, University of Chicago
- 18:09
On CDCL-based Proof Systems with the Ordered Decision Strategy
Watch video | Download video: 201808301740-Mull.mp4 (112M)
, Universitat Politècnica de Catalunya
- 18:43
Algorithms beyond Resolution using MaxSAT
Watch video | Download video: 201808301813-Bonet.mp4 (101M)
, LaBRI / University of Bordeaux
- 19:13
A few results, questions, and pitfalls in the experimental study of SAT solvers
Watch video | Download video: 201808301846-Simon.mp4 (101M)
, University of Waterloo
- 10:14
Machine Learning for SAT Solvers
Watch video | Download video: 201808310937-Ganesh.mp4 (142M)
, Stanford University
- 10:41
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Watch video | Download video: 201808311017-Niemetz.mp4 (72M)
, Universitat Politecnica de Catalunya
- 11:39
Circular (Yet Sound) Proofs
Watch video | Download video: 201808311107-Atserias.mp4 (104M)
, UC San Diego
- 12:10
Hard Satisfiable Formulas for Splittings by Linear Combinations
Watch video | Download video: 201808311144-Knop.mp4 (85M)