2026-08-11T05:57:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13336 2024-03-06T10:51:44Z ddc:004 open_access

PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem Swat, Sylwester Treedepth decomposition elimination tree separator PACE 2020 This article briefly describes the most important algorithms and techniques used in the treedepth decomposition heuristic solver called "ExTREEm", submitted to the 5th Parameterized Algorithms and Computational Experiments Challenge (PACE 2020) co-organized with the 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Sylwester Swat 2020 Is Part Of LIPIcs, Volume 180, 15th International Symposium on Parameterized and Exact Computation (IPEC 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.IPEC.2020.33 urn:nbn:de:0030-drops-133365 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2020.33 eng https://creativecommons.org/licenses/by/3.0/legalcode