Birs- 18w5208: Theory and Practice of Satisfiability Solving

  1. Title:
    Conflict-Driven Synthesis
    Speaker:
    Ruben Martins

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

  2. Title:
    The Symmetry Rule for Quantified Boolean Formulas
    Speaker:
    Martina Seidl

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

  3. Title:
    The Proof Complexity of SMT Solvers
    Speaker:
    Antonina Kolokolova

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

  4. Title:
    On CDCL-based Proof Systems with the Ordered Decision Strategy
    Speaker:
    Nathan Mull

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

  5. Title:
    Algorithms beyond Resolution using MaxSAT
    Speaker:
    Maria Luisa Bonet

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

  6. 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

  7. Title:
    Machine Learning for SAT Solvers
    Speaker:
    Vijay Ganesh

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

  8. Title:
    From Local Search to Quantifier Elimination for Bit-Vectors in SMT
    Speaker:
    Aina Niemetz

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

  9. Title:
    Circular (Yet Sound) Proofs
    Speaker:
    Albert Atserias

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

  10. Title:
    Hard Satisfiable Formulas for Splittings by Linear Combinations
    Speaker:
    Alexander Knop

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