2 citations · 2 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.DS2020
PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth
James Trimble
This note introduces Bute-Plus, an exact solver for the treedepth problem. The core of the solver is a positive-instance driven dynamic program that constructs an elimination tree…
cs.DM2020★ 2 cited
An Algorithm for the Exact Treedepth Problem
James Trimble
We present a novel algorithm for the minimum-depth elimination tree problem, which is equivalent to the optimal treedepth decomposition problem. Our algorithm makes use of two chea…