Video From 18w5208: Theory and Practice of Satisfiability Solving

Friday, August 31, 2018 09:37 - 10:14
Machine Learning for SAT Solvers
Vijay Ganesh, Video: Machine Learning for SAT Solvers
Vijay Ganesh, Video: Machine Learning for SAT Solvers
Vijay Ganesh, Machine Learning for SAT Solvers, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
142M
http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos

Download this video (142M)

Other videos from this workshop