%0 Journal Article %1 journals/corr/abs-2211-06109 %A Kiesel, Rafael %A Schidler, André %D 2022 %J CoRR %K dblp %T A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. %U http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-06109 %V abs/2211.06109

@article{journals/corr/abs-2211-06109, added-at = {2022-11-15T00:00:00.000+0100}, author = {Kiesel, Rafael and Schidler, André}, biburl = {https://www.bibsonomy.org/bibtex/2f820b6a102c57c5e9601f475883a655e/dblp}, ee = {https://doi.org/10.48550/arXiv.2211.06109}, interhash = {17e51f972d9bee91896e963f0b3a2299}, intrahash = {f820b6a102c57c5e9601f475883a655e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:11:46.000+0200}, title = {A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-06109}, volume = {abs/2211.06109}, year = 2022 }