Author of the publication

PACE Solver Description: Mount Doom - An Exact Solver for Directed Feedback Vertex Set.

, , , , , , , , , , and . IPEC, volume 249 of LIPIcs, page 28:1-28:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Solving Directed Feedback Vertex Set by Iterative Reduction to Vertex Cover., , , , , , , , , and 1 other author(s). SEA, volume 265 of LIPIcs, page 10:1-10:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Schelling Games with Continuous Types (short paper)., , , , , and . ICTCS, volume 3587 of CEUR Workshop Proceedings, page 328-333. CEUR-WS.org, (2023)Towards Explainable Real Estate Valuation via Evolutionary Algorithms., , , , , , , , and . CoRR, (2021)Dynamic Complexity Meets Parameterised Algorithms., , , , and . CoRR, (2019)Tire Pressure Monitoring using Weighted Horizontal Visibility Graphs.. ICCAD, page 1-6. IEEE, (2022)Schelling Games with Continuous Types., , , , , and . IJCAI, page 2520-2527. ijcai.org, (2023)PACE Solver Description: Mount Doom - An Exact Solver for Directed Feedback Vertex Set., , , , , , , , , and 1 other author(s). IPEC, volume 249 of LIPIcs, page 28:1-28:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Towards Linear Spanners in All Temporal Cliques., , , , , , , , , and . CoRR, (2024)Iltis: Teaching Logic in the Web., , , , , , and . CoRR, (2021)FOXES: Farm Optimization and eXtended yield Evaluation Software., , , and . J. Open Source Softw., 8 (87): 5464 (July 2023)