Video: Daniel Le Berre, "Survey on integrating cutting planes in CDCL solvers"

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, 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

presentation

mpeg4

106M

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401211002-LeBerre.html

Survey on integrating cutting planes in CDCL solvers

Daniel Le Berre at 14w5101: Theoretical Foundations of Applied SAT Solving on Tuesday, January 21, 2014

0 seconds of 0 secondsVolume 0%

00:00

Download this video (106M)