Jakob Nordström

  1. Title:
    Towards Faster Conflict-Driven Pseudo-Boolean Solving
    Speaker:
    Jakob Nordström

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

  2. Title:
    Mini-tutorial on weak proof systems and connections to SAT solving
    Speaker:
    Jakob Nordström

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

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