Birs- 14w5101: Theoretical Foundations of Applied SAT Solving

  1. Title:
    Satisfiability-based set membership filters
    Speaker:
    Sean Weaver

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

  2. Title:
    Saucy3: Fast Symmetry Discovery in Graphs
    Speaker:
    Karem Sakallah

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

  3. Title:
    Exact model counting: SAT-solver based methods versus lifted inference
    Speaker:
    Paul Beame

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

  4. Title:
    Space complexity in algebraic proof systems
    Speaker:
    Nicola Galesi

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

  5. Title:
    Narrow proofs may be maximally long
    Speaker:
    Massimo Lauria

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

  6. Title:
    Lower bounds for width-restricted clause learning
    Speaker:
    Jan Johannsen

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

  7. Title:
    From theoretical potential to applied impact — could/should we get more interaction between practitioners and theoreticians and if so how?
    Speaker:
    Jakob Nordström

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

  8. Title:
    Abstraction and multi-encodings in SAT
    Speaker:
    Carsten Sinz

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

  9. Title:
    Unit-clause propagation and monotone circuits
    Speaker:
    Oliver Kullmann

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

  10. Title:
    Strong ETH holds for regular resolution
    Speaker:
    Chris Beck

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

  11. Title:
    Detecting traditional packing, decisively
    Speaker:
    Denis Bueno

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

  12. Title:
    Timed PageRank and branching heuristics in CDCL SAT solvers
    Speaker:
    Vijay Ganesh

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