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
Jacobo Toran, Video: Reversible Pebble Games and the Relation between Tree-like and General Resolution
Jacobo Toran, Video: Reversible Pebble Games and the Relation between Tree-like and General Resolution
Jacobo Toran, Reversible Pebble Games and the Relation between Tree-like and General Resolution, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
120M
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos
Reversible Pebble Games and the Relation between Tree-like and General Resolution
Jacobo Toran at 20w5144: Proof Complexity on Thursday, January 23, 2020
0 seconds of 0 secondsVolume 0%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (120M)



Other videos from this workshop