1 Search Results for "de Vries, Mees"


Document
PACE Solver Description
PACE Solver Description: tdULL

Authors: Ruben Brokkelkamp, Raymond van Venetië, Mees de Vries, and Jan Westerdiep

Published in: LIPIcs, Volume 180, 15th International Symposium on Parameterized and Exact Computation (IPEC 2020)


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.

Cite as

Ruben Brokkelkamp, Raymond van Venetië, Mees de Vries, and Jan Westerdiep. PACE Solver Description: tdULL. In 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 180, pp. 29:1-29:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Copy BibTex To Clipboard

@InProceedings{brokkelkamp_et_al:LIPIcs.IPEC.2020.29,
  author =	{Brokkelkamp, Ruben and van Veneti\"{e}, Raymond and de Vries, Mees and Westerdiep, Jan},
  title =	{{PACE Solver Description: tdULL}},
  booktitle =	{15th International Symposium on Parameterized and Exact Computation (IPEC 2020)},
  pages =	{29:1--29:4},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-172-6},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{180},
  editor =	{Cao, Yixin and Pilipczuk, Marcin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2020.29},
  URN =		{urn:nbn:de:0030-drops-133326},
  doi =		{10.4230/LIPIcs.IPEC.2020.29},
  annote =	{Keywords: PACE 2020, treedepth, treedepth decomposition, vertex ranking, minimal separators, branch and bound}
}
  • Refine by Author
  • 1 Brokkelkamp, Ruben
  • 1 Westerdiep, Jan
  • 1 de Vries, Mees
  • 1 van Venetië, Raymond

  • Refine by Classification
  • 1 Mathematics of computing → Graph algorithms
  • 1 Theory of computation → Algorithm design techniques
  • 1 Theory of computation → Graph algorithms analysis

  • Refine by Keyword
  • 1 PACE 2020
  • 1 branch and bound
  • 1 minimal separators
  • 1 treedepth
  • 1 treedepth decomposition
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2020

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail