Guillaume Combette

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Constraint Graph

Graph Construction

Space Complexity

Top Venues

Publications

Christian Doczkal, Guillaume Combette, Damien Pous
A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs. ITP (2018)