Video From 18w5208: Theory and Practice of Satisfiability Solving

Thursday, August 30, 2018 11:39 - 12:32
Random k-sat. A review and some new results.
Klas Markström, Video: Random k-sat. A review and some new results.
Klas Markström, Video: Random k-sat. A review and some new results.
Klas Markström, Random k-sat. A review and some new results., Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
167M
http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos
Random k-sat. A review and some new results.
Klas Markström at 18w5208: Theory and Practice of Satisfiability Solving on Thursday, August 30, 2018
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 (167M)

Other videos from this workshop