Talk page

Title:
Graph Width and Practical Existential Second Order Model Checking.

Speaker:
David Mitchell

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

Workshop:
Fields- Workshop on Graph Classes, Optimization, and Width Parameters (GROW 2017)