@inproceedings{4e7f1411490f4346b012a6fcadb1552b,
title = "PACE Solver Description: Mount Doom – An Exact Solver for Directed Feedback Vertex Set",
abstract = "In this document we describe the techniques we used and implemented for our submission to the Parameterized Algorithms and Computational Experiments Challenge (PACE) 2022. The given problem is Directed Feedback Vertex Set (DFVS), where one is given a directed graph G = (V, E) and wants to find a minimum S ⊆ V such that G - S is acyclic. We approach this problem by first exhaustively applying a set of reduction rules. In order to find a minimum DFVS on the remaining instance, we create and solve a series of Vertex Cover instances.",
keywords = "directed feedback vertex set, reduction rules, vertex cover",
author = "Sebastian Angrick and Katrin Casel and Tobias Friedrich and Theresa Hradilak and Otto Ki{\ss}ig and Leo Wendt and Ben Bals and Sarel Cohen and Niko Hastrich and Davis Issac and Jonas Schmidt",
note = "Publisher Copyright: {\textcopyright} Sebastian Angrick, Ben Bals, Katrin Casel, Sarel Cohen, Tobias Friedrich, Niko Hastrich, Theresa Hradilak, Davis Issac, Otto Ki{\ss}ig, Jonas Schmidt, and Leo Wendt.; 17th International Symposium on Parameterized and Exact Computation, IPEC 2022 ; Conference date: 07-09-2022 Through 09-09-2022",
year = "2022",
month = dec,
day = "1",
doi = "10.4230/LIPIcs.IPEC.2022.28",
language = "אנגלית",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Holger Dell and Jesper Nederlof",
booktitle = "17th International Symposium on Parameterized and Exact Computation, IPEC 2022",
}