Path Graphs, Clique Trees, and Flowers.
Lalla Mouatadid and Robert Robere.
Manuscript 2015. [ArXiv]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Lalla Mouatadid and Robert Robere.
Manuscript 2015. [ArXiv]