A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.

Rafael Kiesel, Andr Schidler

Browse the full ALENEX paper archive.