research
∙
08/31/2021
Induced universal graphs for families of small graphs
We present exact and heuristic algorithms that find, for a given family ...
share
research
∙
06/17/2020
Bute: A Bottom-Up Exact Solver for Treedepth (Submitted to PACE 2020 under username peaty)
This note introduces the exact solver Bute for the exact treedepth probl...
research
∙
04/19/2020
An Algorithm for the Exact Treedepth Problem
We present a novel algorithm for the minimum-depth elimination tree prob...
research
∙
08/07/2019
A Constraint Model for the Tree Decomposition of a Graph
We present a constraint model for the problem of producing a tree decomp...
research
∙
06/06/2016
