OBLX

Dirks, Jona; Gerhard, Enna; Kaial, Victoria; Lorieau, Lucas

doi:10.4230/artifacts.25239

Artifact

OBLX Software

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

Part of: Collection: Supplementary Materials
License: GNU General Public License v3.0 only
Publication Date: 2025-12-15

Document Identifiers

DOI: 10.4230/artifacts.25239
URN: urn:nbn:de:0030-drops-252393

Author Details

Jona Dirks

Université Clermont-Auvergne, CNRS, Mines de Saint-Étienne, Clermont-Auvergne-INP, LIMOS, 63000 Clermont-Ferrand, France

Enna Gerhard

University of Bremen, Bibliothekstraße 5, 28359 Bremen, Germany

Victoria Kaial

Université Clermont-Auvergne, CNRS, Mines de Saint-Étienne, Clermont-Auvergne-INP, LIMOS, 63000 Clermont-Ferrand, France

Lucas Lorieau

Université Clermont-Auvergne, CNRS, Mines de Saint-Étienne, Clermont-Auvergne-INP, LIMOS, 63000 Clermont-Ferrand, France

Content

Software (Source Code): https://gitlab.limos.fr/oblx/public
archived version

Version/Status

Content created at: 2025-04-07

Cite As Get BibTex

Jona Dirks, Enna Gerhard, Victoria Kaial, Lucas Lorieau. OBLX (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.25239

Description

We present a solver for the Dominating Set problem, that heavily relies on data reduction. It is exact, that means it either returns a minimum solution or does not complete. The solver first applies an extensive set of data reduction rules and then switches to solving using the EvalMaxSAT solver by Florent Avellaneda. Parts of Enna Gerhards Master Thesis building upon the PACE 2022 DFVS Solver GRAPA-Java are reused.

Subject Classification

Programming Languages

Java 16

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail