A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets

Open Webpage

Rafael Kiesel, André Schidler

Published: 01 Jan 2023, Last Modified: 15 Aug 2024ALENEX 2023EveryoneRevisionsBibTeXCC BY-SA 4.0