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: The Proof Complexity of SMT Solvers
Speaker:
Link:
-
Title: The Symmetry Rule for Quantified Boolean Formulas
Speaker:
Link:
-
Title: Conflict-Driven Synthesis
Speaker:
Link:
-
Title: Random k-sat. A review and some new results.
Speaker:
Link:
-
Title: A Survey on Worst-Case Complexity of SAT
Speaker:
Link:
-
Title: Gröbner bases and applications
Speaker:
Link:
-
Title: QBF Proof Complexity
Speaker:
Link:
-
Title: Hilbert's Nullstellensatz, Grobner Bases, and NP-Complete Problems
Speaker:
Link:
-
Title: Advances in QBF Solving
Speaker:
Link:
-
Title: The (un)reasonable (in)effectiveness of theory for Sat solvers
Speaker:
Link:
-
Title: Proof Systems for Pseudo-Boolean Solving
Speaker:
Link:
-
Title: Pseudo-Boolean Optimization
Speaker:
Link:
-
Title: Formal Analysis of Deep Binarized Neural Networks
Speaker:
Link:
-
Title: Towards MaxSAT-Based Proof Systems
Speaker:
Link:
-
Title: Computational Mixed-Integer Programming
Speaker:
Link: