Search Results

Documents authored by Gerhard, Enna

Artifact
Software
DOI: 10.4230/artifacts.25239
OBLX

Authors: Jona Dirks, Enna Gerhard, Victoria Kaial, and Lucas Lorieau

Abstract
Cite as

Jona Dirks, Enna Gerhard, Victoria Kaial, Lucas Lorieau. OBLX (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-25239,
   title = {{OBLX}}, 
   author = {Dirks, Jona and Gerhard, Enna and Kaial, Victoria and Lorieau, Lucas},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:2863e5f060c85b6d04b04c053ab39135abee8f0d;origin=https://gitlab.limos.fr/oblx/public;visit=swh:1:snp:978f34493f4e2e5a17e1ac4277e892ce7ab64cef;anchor=swh:1:rev:75b59b41ff96536dcb36f5b677ed1fa5ad2d041c}{\texttt{swh:1:dir:2863e5f060c85b6d04b04c053ab39135abee8f0d}} (visited on 2025-12-15)},
   url = {https://gitlab.limos.fr/oblx/public},
   doi = {10.4230/artifacts.25239},
}
Document
PACE Solver Description
DOI: 10.4230/LIPIcs.IPEC.2025.33
PACE Solver Description: OBLX Exact Solver for the Dominating Set Problem

Authors: Jona Dirks, Enna Gerhard, Victoria Kaial, and Lucas Lorieau

Published in: LIPIcs, Volume 358, 20th International Symposium on Parameterized and Exact Computation (IPEC 2025)

Abstract
We present and describe the solver OBLX for the Dominating Set problem on graphs. This solver was developed during the PACE challenge 2025 for the Exact track. It first applies several data reduction rules and performs a polynomial time reduction to Max Sat. The resulting Max Sat instance is in turn solved using the EvalMaxSat solver by Florent Avellaneda.
Cite as

Jona Dirks, Enna Gerhard, Victoria Kaial, and Lucas Lorieau. PACE Solver Description: OBLX Exact Solver for the Dominating Set Problem. In 20th International Symposium on Parameterized and Exact Computation (IPEC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 358, pp. 33:1-33:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{dirks_et_al:LIPIcs.IPEC.2025.33,
  author =	{Dirks, Jona and Gerhard, Enna and Kaial, Victoria and Lorieau, Lucas},
  title =	{{PACE Solver Description: OBLX Exact Solver for the Dominating Set Problem}},
  booktitle =	{20th International Symposium on Parameterized and Exact Computation (IPEC 2025)},
  pages =	{33:1--33:4},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-407-9},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{358},
  editor =	{Agrawal, Akanksha and van Leeuwen, Erik Jan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2025.33},
  URN =		{urn:nbn:de:0030-drops-251659},
  doi =		{10.4230/LIPIcs.IPEC.2025.33},
  annote =	{Keywords: complexity theory, parameterized complexity, linear programming, java, dominating set, PACE 2025}
}
Document
PACE Solver Description
DOI: 10.4230/LIPIcs.IPEC.2022.30
PACE Solver Description: GraPA-JAVA

Authors: Moritz Bergenthal, Jona Dirks, Thorben Freese, Jakob Gahde, Enna Gerhard, Mario Grobler, and Sebastian Siebertz

Published in: LIPIcs, Volume 249, 17th International Symposium on Parameterized and Exact Computation (IPEC 2022)

Abstract
We present an exact solver for the DFVS, submitted for the exact track of the Parameterized Algorithms and Computational Experiments challenge (PACE) in 2022. The solver heavily relies on data reduction (known from the literature and new reduction rules). The instances are then further processed by integer linear programming approaches. We implemented the algorithm in the scope of a student project at the University of Bremen.
Cite as

Moritz Bergenthal, Jona Dirks, Thorben Freese, Jakob Gahde, Enna Gerhard, Mario Grobler, and Sebastian Siebertz. PACE Solver Description: GraPA-JAVA. In 17th International Symposium on Parameterized and Exact Computation (IPEC 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 249, pp. 30:1-30:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{bergenthal_et_al:LIPIcs.IPEC.2022.30,
  author =	{Bergenthal, Moritz and Dirks, Jona and Freese, Thorben and Gahde, Jakob and Gerhard, Enna and Grobler, Mario and Siebertz, Sebastian},
  title =	{{PACE Solver Description: GraPA-JAVA}},
  booktitle =	{17th International Symposium on Parameterized and Exact Computation (IPEC 2022)},
  pages =	{30:1--30:4},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-260-0},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{249},
  editor =	{Dell, Holger and Nederlof, Jesper},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2022.30},
  URN =		{urn:nbn:de:0030-drops-173861},
  doi =		{10.4230/LIPIcs.IPEC.2022.30},
  annote =	{Keywords: complexity theory, parameterized complexity, linear programming, java, directed feedback vertex set, PACE 2022}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact