<div class="csl-bib-body">
<div class="csl-entry">Kiesel, R., & Schidler, A. (2022). PACE Solver Description: DAGer – Cutting out Cycles with MaxSAT. In <i>17th International Symposium on Parameterized and Exact Computation (IPEC 2022)</i>. 17th International Symposium on Parameterized and Exact Computation (IPEC 2022), Germany. https://doi.org/10.4230/LIPIcs.IPEC.2022.32</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/146161
-
dc.description.abstract
We describe the solver DAGer for the Directed Feedback Vertex Set (DFVS) problem, as it was submitted to the exact track of the 2022 PACE Challenge. Our approach first applies a wide range of preprocessing techniques involving both well-known data reductions for DFVS as well as non-trivial adaptations from the vertex cover problem. For the actual solving, we found that using a MaxSAT solver with incremental constraints achieves a good performance.
en
dc.language.iso
en
-
dc.subject
Data Reductions
en
dc.subject
Directed Feeback Vertex Set
en
dc.subject
Incremental MaxSAT
en
dc.title
PACE Solver Description: DAGer – Cutting out Cycles with MaxSAT
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
17th International Symposium on Parameterized and Exact Computation (IPEC 2022)