Rafael Kiesel, André 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, Julian Shun, eds.), pages 39–52, 2023, SIAM.