PACE Solver Description: Crossy - An Exact Solver for One-Sided Crossing Minimization. - Tobias Röhr; Kirill Simonov (IPEC, 2024)