Loading the player...


INFO:
Daniel Le Berre speaking at BIRS workshop, Theoretical Foundations of Applied SAT Solving, on Tuesday, January 21, 2014 on the topic: Survey on integrating cutting planes in CDCL solvers.
Video: Daniel Le Berre, "Survey on integrating cutting planes in CDCL solvers"