Abstract:This paper presents a framework for classifying and comparing instances of integer linear programs (ILPs) based on their mathematical structure. It has long been observed that the structure of ILPs can play an important role in determining the effectiveness of certain solution techniques; those that work well for one class of ILPs are often found to be effective in solving similarly structured problems. In this work, the structure of a given ILP instance is captured via a graph-based representation, where decision variables and constraints are described by nodes, and edges denote the presence of decision variables in certain constraints. Using machine learning techniques for graph-structured data, we introduce two approaches for leveraging the graph representations for relating ILPs. In the first approach, a graph convolutional network (GCN) is used to classify ILP graphs as having come from one of a known number of problem classes. The second approach makes use of latent features learned by the GCN to compare ILP graphs to one another directly. As part of the latter approach, we introduce a formal measure of graph-based structural similarity. A series of empirical studies indicate strong performance for both the classification and comparison procedures. Additional properties of ILP graphs, namely, losslessness and permutation invariance, are also explored via computational experiments. History: Accepted by Pascal Van Hentenryck, Area Editor for Computational Modeling: Methods & Analysis. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2023.0255 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2023.0255 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

Satisfiability and Integer Programming As Complementary Tools

MINLP Algorithms Mixed with Constraint Programming

An Efficient Method to Transform SAT Problems to Binary Integer Linear Programming Problem.

New Characterizations and Efficient Local Search for General Integer Linear Programming

Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem: Towards Sound and Complete Solutions of a Particular Search-based Software-engineering Problem

Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem

A Parallel Method With Hybrid Algorithms For Mixed Integer Nonlinear Programming

23 European Symposium on Computer Aided Process Engineering: A Parallel Method with Hybrid Algorithms for Mixed Integer Nonlinear Programming

A Survey on Theoretical Combination Techniques of SMT Solvers

A Graph-Based Approach for Relating Integer Programs

A Unified Tool for Solving Uni-Parametric Linear Programs, Convex Quadratic Programs, and Linear Complementarity Problems

Tabu Search-Based Heuristic Solver for General Integer Linear Programming Problems

An Interleaved Depth-First Search Method for the Linear Optimization Problem with Disjunctive Constraints

Advances in Satisfiability Solving Techniques

Improving the Solution of Indefinite Quadratic Programs and Linear Programs with Complementarity Constraints by a Progressive MIP Method

Relaxations and cutting planes for linear programs with complementarity constraints

Solving linear programs with complementarity constraints using branch-and-cut

New Dual Formulations In Constrained Integer Programming

Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

Equality Detection for Linear Arithmetic Constraints

An Efficient Method to Transform a SAT Problem to a Mixed Integer Linear Programming Problem