Massimo Lauria, Video: 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

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