The first parallel local search framework and an efficient parallel solver for solving general ILP.
Aug 8, 2023