%0 Conference Paper %1 conf/alenex/KieselS23 %A Kiesel, Rafael %A Schidler, André %B ALENEX %D 2023 %E Navarro, Gonzalo %E Shun, Julian %I SIAM %K dblp %P 39-52 %T A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. %U http://dblp.uni-trier.de/db/conf/alenex/alenex2023.html#KieselS23 %@ 978-1-61197-756-1

@inproceedings{conf/alenex/KieselS23, added-at = {2023-04-03T00:00:00.000+0200}, author = {Kiesel, Rafael and Schidler, André}, biburl = {https://www.bibsonomy.org/bibtex/2ba8f81a0fea509b71a10243efd13a0bf/dblp}, booktitle = {ALENEX}, crossref = {conf/alenex/2023}, editor = {Navarro, Gonzalo and Shun, Julian}, ee = {https://doi.org/10.1137/1.9781611977561.ch4}, interhash = {c2acb02a2cbdfc3be62e32313c9c049b}, intrahash = {ba8f81a0fea509b71a10243efd13a0bf}, isbn = {978-1-61197-756-1}, keywords = {dblp}, pages = {39-52}, publisher = {SIAM}, timestamp = {2024-04-09T21:43:18.000+0200}, title = {A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.}, url = {http://dblp.uni-trier.de/db/conf/alenex/alenex2023.html#KieselS23}, year = 2023 }