Search Results

Documents authored by Lorieau, Lucas


Artifact
Software
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
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}
}
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