A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets

Kiesel, Rafael; Schidler, André

doi:10.1137/1.9781611977561.ch4

by Rafael Kiesel, André Schidler

Reference:

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex SetsRafael Kiesel, André SchidlerProceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2023, Florence, Italy, January 22-23, 2023 (Gonzalo Navarro, Julian Shun, eds.), pages 39–52, 2023, SIAM.

Bibtex Entry:

@inproceedings{SchidlerKiesel23,
  author       = {Rafael Kiesel and
                  Andr{\'{e}} Schidler},
  editor       = {Gonzalo Navarro and
                  Julian Shun},
  title        = {A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets},
  booktitle    = {Proceedings of the Symposium on Algorithm Engineering and Experiments,
                  {ALENEX} 2023, Florence, Italy, January 22-23, 2023},
  pages        = {39--52},
  publisher    = {{SIAM}},
  year         = {2023},
  doi          = {10.1137/1.9781611977561.ch4},
  keywords  = {slim,reveal}
}