2026-07-26T03:03:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:17388 2024-03-06T10:59:38Z ddc:004 open_access

PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT Kiesel, Rafael Schidler, André Directed Feeback Vertex Set Data Reductions Incremental MaxSAT 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Rafael Kiesel and André Schidler 2022 Is Part Of LIPIcs, Volume 249, 17th International Symposium on Parameterized and Exact Computation (IPEC 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.IPEC.2022.32 urn:nbn:de:0030-drops-173885 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2022.32 eng https://creativecommons.org/licenses/by/4.0/legalcode