Doczkal, Christian; Pous, Damien Graph theory in Coq: minors, treewidth, and isomorphisms. (English) Zbl 1468.68320 J. Autom. Reasoning 64, No. 5, 795-825 (2020). MSC: 68V20 03B35 05C05 05C40 05C60 05C83 PDFBibTeX XMLCite \textit{C. Doczkal} and \textit{D. Pous}, J. Autom. Reasoning 64, No. 5, 795--825 (2020; Zbl 1468.68320) Full Text: DOI HAL
Doczkal, Christian; Combette, Guillaume; Pous, Damien A formal proof of the minor-exclusion property for treewidth-two graphs. (English) Zbl 1468.68319 Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 178-195 (2018). MSC: 68V20 03B35 05C05 05C60 05C83 68V15 PDFBibTeX XMLCite \textit{C. Doczkal} et al., Lect. Notes Comput. Sci. 10895, 178--195 (2018; Zbl 1468.68319) Full Text: DOI HAL