Video From 18w5208: Theory and Practice of Satisfiability Solving

Monday, August 27, 2018 17:36 - 18:03
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Stephan Gocht, Video: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Stephan Gocht, Video: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Stephan Gocht, Seeking Practical CDCL Insights from Theoretical SAT Benchmarks, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
112M
http://www.birs.ca/events/2018/5-day-workshops/18w5208/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 (112M)



Other videos from this workshop