Rafael Kiesel and André Schidler

Recent Publications

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets

2023

PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT

2022