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/ .

An Approach to Constraint Inductive Logic Programming

MINLP Algorithms Mixed with Constraint Programming

A Survey on Inductive Logic Programming

The Inductive Constraint Programming Loop

Conflict-Driven Inductive Logic Programming

Parallel Constraint-Driven Inductive Logic Programming

SMT + ILP

Research on inductive logic programming based learning method and its realization

Learning logic programs by discovering where not to search

Positive-Unlabeled Constraint Learning (PUCL) for Inferring Nonlinear Continuous Constraints Functions from Expert Demonstrations

A Graph-Based Approach for Relating Integer Programs

Differentiable Inductive Logic Programming in High-Dimensional Space

Learning logic programs by combining programs

A History of Probabilistic Inductive Logic Programming

An Integer Linear Programming Framework for Mining Constraints from Data

Building Industrial Applications with Constraint Programming

Constraint Programming and Logic-Based Benders Decomposition for the Integrated Process Planning and Scheduling Problem

Design and Implementation of Constraint Language COPS

Learning General Continuous Constraint from Demonstrations via Positive-Unlabeled Learning

Improving the efficiency of inductive logic programming systems

Innovative Applications of Constraint Programming