Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Tuesday, January 21, 2014 10:02 - 10:59
Survey on integrating cutting planes in CDCL solvers
Daniel Le Berre, Video: Survey on integrating cutting planes in CDCL solvers
Daniel Le Berre, Video: Survey on integrating cutting planes in CDCL solvers
Daniel Le Berre, Survey on integrating cutting planes in CDCL solvers, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
106M
http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

Download this video (106M)

Other videos from this workshop