Laurent Simon

  1. Title:
    Towards an (experimental) understanding of SAT Solvers
    Speaker:
    Laurent Simon

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

  2. Title:
    A few results, questions, and pitfalls in the experimental study of SAT solvers
    Speaker:
    Laurent Simon

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

  3. Title:
    Understanding the power of glue clauses
    Speaker:
    Laurent Simon

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401201602-Simon.html