PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT

Rafael Kiesel and André Schidler
January 2022
PDF Cite Project Project DOI
Type
Conference Paper
Reveal Slim