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: 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:
-
Title: Towards Faster Conflict-Driven Pseudo-Boolean Solving
Speaker:
Link:
-
Title: Boolean Satisfiability: Theory and Engineering
Speaker:
Link:
-
Title: Clique Is Hard for State-of-the-Art Algorithms
Speaker:
Link:
-
Title: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Speaker:
Link:
-
Title: Symmetry in SAT - a quest for pigeonhole
Speaker:
Link:
-
Title: Computable Short Proofs
Speaker:
Link:
-
Title: Introduction to Proof Complexity for SAT practitioner
Speaker:
Link:
-
Title: Towards an (experimental) understanding of SAT Solvers
Speaker:
Link:
-
Title: Constructing (2+1)-dimensional KPZ evolutions
Speaker:
Link:
-
Title: Propagation of bistable fronts through a perforated wall
Speaker:
Link: