A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets

Rafael Kiesel and André Schidler
January 2023
Cite Project Project DOI
Type
Conference Paper
Reveal Slim