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

Schelling Games with Continuous Types (short paper)., , , , , and . ICTCS, volume 3587 of CEUR Workshop Proceedings, page 328-333. CEUR-WS.org, (2023)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)Iltis: Teaching Logic in the Web., , , , , , and . CoRR, (2021)Work-sensitive Dynamic Complexity of Formal Languages., , , , and . FoSSaCS, volume 12650 of Lecture Notes in Computer Science, page 490-509. Springer, (2021)Towards explainable real estate valuation via evolutionary algorithms., , , , , , , , and . GECCO, page 1130-1138. ACM, (2022)Dynamic Complexity Meets Parameterised Algorithms., , , , and . CSL, volume 152 of LIPIcs, page 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)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)Detecting Loose Wheel Bolts of a Vehicle Using Accelerometers in the Chassis., , , and . IbPRIA, volume 14062 of Lecture Notes in Computer Science, page 665-679. Springer, (2023)