Rafael Kiesel, André Schidler. PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT. In Holger Dell, Jesper Nederlof, editors, 17th International Symposium on Parameterized and Exact Computation, IPEC 2022, September 7-9, 2022, Potsdam, Germany. Volume 249 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.