PACE Solver Description: tdULL
PACE Solver Description: tdULL
复制标题
PACE 求解器描述:tdULL
DOI:
10.4230/lipics.ipec.2020.29
复制
发表时间:
2020
期刊:
影响因子:
--
通讯作者:
Jan Westerdiep
中科院分区:
文献类型:
--
作者:
Ruben Brokkelkamp;R. V. Venetië;M. D. Vries;Jan Westerdiep
We describe tdULL, an algorithm for computing treedepth decompositions of minimal depth. An implementation was submitted to the exact track of PACE 2020. tdULL is a branch and bound algorithm branching on inclusion-minimal separators.