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: Timed PageRank and branching heuristics in CDCL SAT solvers
Speaker:
Link:
-
Title: Detecting traditional packing, decisively
Speaker:
Link:
-
Title: Strong ETH holds for regular resolution
Speaker:
Link:
-
Title: Unit-clause propagation and monotone circuits
Speaker:
Link:
-
Title: Abstraction and multi-encodings in SAT
Speaker:
Link:
-
Title: From theoretical potential to applied impact — could/should we get more interaction between practitioners and theoreticians and if so how?
Speaker:
Link:
-
Title: Lower bounds for width-restricted clause learning
Speaker:
Link:
-
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: