This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
All talks
-
Title: Recent trends in QBF solving
Speaker:
Link:
-
Title: Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers
Speaker:
Link:
-
Title: Recent developments in parallel SAT solving
Speaker:
Link:
-
Title: Survey of satisfiability modulo theories (SMT)
Speaker:
Link:
-
Title: Problem solving with SAT oracles
Speaker:
Link:
-
Title: Inprocessing rules
Speaker:
Link:
-
Title: Mini-tutorial on semialgebraic proof systems
Speaker:
Link:
-
Title: Survey on integrating cutting planes in CDCL solvers
Speaker:
Link:
-
Title: Leveraging Groebner bases and SAT for hardware/software verification
Speaker:
Link:
-
Title: Caching more than just bad partial assignments (clauses)?
Speaker:
Link:
-
Title: Open Problem Session Discussion
Speaker:
Link:
-
Title: Anatomy and Empirical Evaluation of Modern SAT Solvers
Speaker:
Link:
-
Title: Where does SAT not work?
Speaker:
Link:
-
Title: Understanding the power of glue clauses
Speaker:
Link:
-
Title: Mini-tutorial on weak proof systems and connections to SAT solving
Speaker:
Link: