A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs.

Christian Doczkal, Guillaume Combette, Damien Pous

Browse the full ITP paper archive.