Video From 20w5144: Proof Complexity

Friday, January 24, 2020 09:34 - 10:00
Hard Examples for Common Variable Decision Heuristics

Download this video (98M)



Other videos from this workshop