Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 09:58 - 10:29
Reversible Pebble Games and the Relation between Tree-like and General Resolution

Download this video (120M)



Other videos from this workshop