Video From 20w5144: Proof Complexity

Friday, January 24, 2020 09:34 - 10:00
Hard Examples for Common Variable Decision Heuristics
Marc Vinyals, Video: Hard Examples for Common Variable Decision Heuristics
Marc Vinyals, Video: Hard Examples for Common Variable Decision Heuristics
Marc Vinyals, Hard Examples for Common Variable Decision Heuristics, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
98M
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos
Hard Examples for Common Variable Decision Heuristics
Marc Vinyals at 20w5144: Proof Complexity on Friday, January 24, 2020
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (98M)



Other videos from this workshop