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