We describe CRGone, our solver for the exact and parameterized track of the Pace Challenge 2024. It solves the problem of one-sided crossing minimization, is based on an integer linear programming (ILP) formulation with additional reduction rules, and is implemented in C++ using the ILP solver SCIP with Soplex.
@InProceedings{dobler:LIPIcs.IPEC.2024.29, author = {Dobler, Alexander}, title = {{PACE Solver Description: CRGone}}, booktitle = {19th International Symposium on Parameterized and Exact Computation (IPEC 2024)}, pages = {29:1--29:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-353-9}, ISSN = {1868-8969}, year = {2024}, volume = {321}, editor = {Bonnet, \'{E}douard and Rz\k{a}\.{z}ewski, Pawe{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2024.29}, URN = {urn:nbn:de:0030-drops-222558}, doi = {10.4230/LIPIcs.IPEC.2024.29}, annote = {Keywords: Pace Challenge 2024, One-Layer Crossing Minimization, Exact Algorithm} }
Feedback for Dagstuhl Publishing