Rafael Kiesel, Andr'e Schidler. A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2023, Florence, Italy, January 22-23, 2023 (Gonzalo Navarro and Julian Shun), pages 39-52, 2023, SIAM.