@inproceedings{SchidlerKiesel22,
 author = {Rafael Kiesel and
André Schidler},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/iwpec/KieselS22.bib},
 booktitle = {17th International Symposium on Parameterized and Exact Computation,
{IPEC} 2022, September 7-9, 2022, Potsdam, Germany},
 doi = {10.4230/LIPIcs.IPEC.2022.32},
 editor = {Holger Dell and
Jesper Nederlof},
 keywords = {reveal, slim},
 pages = {32:1–32:4},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 timestamp = {Wed, 14 Dec 2022 17:09:47 +0100},
 title = {{PACE} Solver Description: DAGer - Cutting out Cycles with MaxSAT},
 url = {https://doi.org/10.4230/LIPIcs.IPEC.2022.32},
 volume = {249},
 year = {2022}
}