Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Thursday, January 23, 2014 11:16 - 11:50
Phase transitions and computational complexity
Moshe Vardi, Video: Phase transitions and computational complexity
Moshe Vardi, Video: Phase transitions and computational complexity
Moshe Vardi, Phase transitions and computational complexity, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
70M
http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos
Phase transitions and computational complexity
Moshe Vardi at 14w5101: Theoretical Foundations of Applied SAT Solving on Thursday, January 23, 2014
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 (70M)

Other videos from this workshop