PACE solver description: tdULL
| Authors |
|
|---|---|
| Publication date | 12-2020 |
| Host editors |
|
| Book title | 15th International Symposium on Parameterized and Exact Computation |
| Book subtitle | IPEC 2020, December 14–18, 2020, Hong Kong, China (Virtual Conference) |
| ISBN (electronic) |
|
| Series | Leibniz International Proceedings in Informatics |
| Event | 15th International Symposium on Parameterized and Exact Computation, IPEC 2020 |
| Article number | 29 |
| Number of pages | 4 |
| Publisher | Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Organisations |
|
| Abstract | 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. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.4230/LIPIcs.IPEC.2020.29 |
| Other links | https://www.scopus.com/pages/publications/85100366699 |
| Downloads |
PACE Solver Description - tdULL
(Final published version)
|
| Permalink to this page | |