PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT

Kiesel, Rafael; Schidler, André

doi:10.4230/LIPIcs.IPEC.2022.32

by Rafael Kiesel, André Schidler

Reference:

PACE Solver Description: DAGer - Cutting out Cycles with MaxSATRafael Kiesel, André Schidler17th International Symposium on Parameterized and Exact Computation, IPEC 2022, September 7-9, 2022, Potsdam, Germany (Holger Dell, Jesper Nederlof, eds.), volume 249 of LIPIcs, pages 32:1–32:4, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

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