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: Narrow proofs may be maximally long
Speaker:
Link:
-
Title: Space complexity in algebraic proof systems
Speaker:
Link:
-
Title: Exact model counting: SAT-solver based methods versus lifted inference
Speaker:
Link:
-
Title: Saucy3: Fast Symmetry Discovery in Graphs
Speaker:
Link:
-
Title: Satisfiability-based set membership filters
Speaker:
Link:
-
Title: Phase transitions and computational complexity
Speaker:
Link:
-
Title: Beating brute force search for QBF satisfiability
Speaker:
Link:
-
Title: Reactive synthesis via QBF solving
Speaker:
Link:
-
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: