TY  - RPRT
TI  - A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets
AU  - Rafael Kiesel
AU  - André Schidler
PY  - 2022
UR  - https://arxiv.org/abs/2211.06109
ID  - 2211.06109
ER  -