@article{4444,
  author = {Rafael Kiesel, Andre Schidler},
  title = {Effective Solvers for the Directed Feedback Vertex Sets},
  journal = {Journal of Electronic Systems},
  year = {2025},
  volume = {15},
  number = {2},
  doi = {https://doi.org/10.6025/jes/2025/15/2/113-117},
  url = {https://www.dline.info/jes/fulltext/v15n2/jesv15n2_3.pdf},
  abstract = {We present the solver DAGer for the Directed Feedback Vertex Set (DFVS) problem, as it was entered in the
exact category of the 2022 PACE Challenge. Our method initially employs a variety of preprocessing strategies
that incorporate both established data reduction techniques for DFVS and innovative modifications derived
from the vertex cover problem. In terms of the actual solving process, we discovered that utilizing a MaxSAT
solver with incremental constraints yields impressive results.},
}