David Mitchell

  1. Title:
    Graph Width and Practical Existential Second Order Model Checking.
    Speaker:
    David Mitchell

    Link:
    https://video-archive.fields.utoronto.ca/view/7667