Video From 14w5101: Theoretical Foundations of Applied SAT Solving

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, 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
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 
This video file cannot be played.(Error Code: 224003)

Download this video (50M)

Other videos from this workshop