Jona Dirks, Enna Gerhard, Victoria Kaial, Lucas Lorieau. OBLX (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@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},
}
Published in: LIPIcs, Volume 358, 20th International Symposium on Parameterized and Exact Computation (IPEC 2025)
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)
@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}
}