24:24 duration 24 minutes 24 seconds
Proof complexity of CSP - Azza Gayasin
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Proof complexity of CSP by Azza Gaysin, The Charles University in Prague