Video: Laurent Simon, "A few results, questions, and pitfalls in the experimental study of SAT solvers"

Video From 18w5208: Theory and Practice of Satisfiability Solving

Laurent Simon, LaBRI / University of Bordeaux

Thursday, August 30, 2018 18:46 - 19:13

A few results, questions, and pitfalls in the experimental study of SAT solvers

Laurent Simon, Video: A few results, questions, and pitfalls in the experimental study of SAT solvers

Laurent Simon, A few results, questions, and pitfalls in the experimental study of SAT solvers, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

presentation

mpeg4

101M

http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos

http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301846-Simon.html

Download this video (101M)