Rafael Kiesel, André Schidler. A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. In Gonzalo Navarro, Julian Shun, editors, Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2023, Florence, Italy, January 22-23, 2023. pages 39-52, SIAM, 2023. [doi]
@inproceedings{KieselS23,
title = {A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets},
author = {Rafael Kiesel and André Schidler},
year = {2023},
doi = {10.1137/1.9781611977561.ch4},
url = {https://doi.org/10.1137/1.9781611977561.ch4},
researchr = {https://researchr.org/publication/KieselS23},
cites = {0},
citedby = {0},
pages = {39-52},
booktitle = {Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2023, Florence, Italy, January 22-23, 2023},
editor = {Gonzalo Navarro and Julian Shun},
publisher = {SIAM},
isbn = {978-1-61197-756-1},
}