Birs- 14w5101: Theoretical Foundations of Applied SAT Solving
-
Title: Mini-tutorial on conflict-driven clause learning (CDCL)
Speaker:
Link:
-
Title: Mini-tutorial on preprocessing
Speaker:
Link:
-
Title: Mini-tutorial on weak proof systems and connections to SAT solving
Speaker:
Link:
-
Title: Understanding the power of glue clauses
Speaker:
Link:
-
Title: Where does SAT not work?
Speaker:
Link:
-
Title: Anatomy and Empirical Evaluation of Modern SAT Solvers
Speaker:
Link:
-
Title: Open Problem Session Discussion
Speaker:
Link:
-
Title: Caching more than just bad partial assignments (clauses)?
Speaker:
Link:
-
Title: Leveraging Groebner bases and SAT for hardware/software verification
Speaker:
Link:
-
Title: Survey on integrating cutting planes in CDCL solvers
Speaker:
Link:
-
Title: Mini-tutorial on semialgebraic proof systems
Speaker:
Link:
-
Title: Inprocessing rules
Speaker:
Link:
-
Title: Problem solving with SAT oracles
Speaker:
Link:
-
Title: Survey of satisfiability modulo theories (SMT)
Speaker:
Link:
-
Title: Recent developments in parallel SAT solving
Speaker:
Link:
-
Title: Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers
Speaker:
Link:
-
Title: Recent trends in QBF solving
Speaker:
Link:
-
Title: Reactive synthesis via QBF solving
Speaker:
Link:
-
Title: Beating brute force search for QBF satisfiability
Speaker:
Link:
-
Title: Phase transitions and computational complexity
Speaker:
Link: