Danny Hendler, Video: The Backtracking Covering Proof Technique

Danny Hendler, Video: The Backtracking Covering Proof Technique

Danny Hendler, The Backtracking Covering Proof Technique, Complexity and Analysis of Distributed Algorithms, BIRS, BIRS talk, 16w5152, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

193M

http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos

http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201612011255-Hendler.html