ILP-Based Local Search for Graph Partitioning (The ACM journal of experimental algorithmics, 2020)