This page shows all presentations of this author published in EasyChair Smart Slide.
A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs
Christian Doczkal, Guillaume Combette and Damien Pous