Rafael Kiesel, André Schidler: PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT. IPEC 2022: 32:1-32:4