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: On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
Speaker:
Link:
-
Title: Reversible Pebble Games and the Relation between Tree-like and General Resolution
Speaker:
Link:
-
Title: SETH and Resolution
Speaker:
Link:
-
Title: Resolution Lower Bounds for Refutation Statements
Speaker:
Link:
-
Title: Automated Proof Search: The Aftermath
Speaker:
Link:
-
Title: Automating Resolution is NP-Hard
Speaker:
Link:
-
Title: Lifting in Proof Complexity
Speaker:
Link:
-
Title: The Surprising Power of Constant Depth Algebraic Proofs
Speaker:
Link:
-
Title: Resolution and the binary encodings of combinatorial principles
Speaker:
Link:
-
Title: Sum of Squares Bounds for the Ordering Principle
Speaker:
Link:
-
Title: Characterising QBF Hardness via Circuit Complexity
Speaker:
Link:
-
Title: Why are Proof Complexity Lower Bounds Hard?
Speaker:
Link:
-
Title: Consistency of Circuit Lower Bounds with Bounded Theories
Speaker:
Link:
-
Title: and Edward Hirsch: Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?
Speaker:
Link:
-
Title: On Depth 1 Frege Systems
Speaker:
Link: