Rafael Kiesel | AC Group | TU Wienhttps://ac.notready.eu/author/rafael-kiesel/Rafael KieselHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2023 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngRafael Kieselhttps://ac.notready.eu/author/rafael-kiesel/A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Setshttps://ac.notready.eu/publication/a-dynamic-maxsat-based-approach-to-directed-feedback-vertex-sets/Sun, 01 Jan 2023 00:00:00 +0000https://ac.notready.eu/publication/a-dynamic-maxsat-based-approach-to-directed-feedback-vertex-sets/PACE Solver Description: DAGer - Cutting out Cycles with MaxSAThttps://ac.notready.eu/publication/pace-solver-description-dager-cutting-out-cycles-with-maxsat/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/pace-solver-description-dager-cutting-out-cycles-with-maxsat/