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}
}