Video: Massimo Lauria, "Narrow proofs may be maximally long"

Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Massimo Lauria, KTH Royal Institute of Technology

Thursday, January 23, 2014 16:34 - 17:02

Narrow proofs may be maximally long

Massimo Lauria, Video: Narrow proofs may be maximally long

Massimo Lauria, Narrow proofs may be maximally long, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

presentation

mpeg4

50M

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401231634-Lauria.html

Download this video (50M)