文章基本信息

标题：PACE Solver Description: tdULL
本地全文：下载
作者：Ruben Brokkelkamp ; van Venetië, Raymond ; Mees de Vries 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：180
页码：1-4
DOI：10.4230/LIPIcs.IPEC.2020.29
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：PACE 2020; treedepth; treedepth decomposition; vertex ranking; minimal separators; branch and bound