Abstract:A large number of real-world optimization problems can be formulated as Mixed Integer Linear Programs (MILP). MILP solvers expose numerous configuration parameters to control their internal algorithms. Solutions, and their associated costs or runtimes, are significantly affected by the choice of the configuration parameters, even when problem instances have the same number of decision variables and constraints. On one hand, using the default solver configuration leads to suboptimal solutions. On the other hand, searching and evaluating a large number of configurations for every problem instance is time-consuming and, in some cases, infeasible. In this study, we aim to predict configuration parameters for unseen problem instances that yield lower-cost solutions without the time overhead of searching-and-evaluating configurations at the solving time. Toward that goal, we first investigate the cost correlation of MILP problem instances that come from the same distribution when solved using different configurations. We show that instances that have similar costs using one solver configuration also have similar costs using another solver configuration in the same runtime environment. After that, we present a methodology based on Deep Metric Learning to learn MILP similarities that correlate with their final solutions' costs. At inference time, given a new problem instance, it is first projected into the learned metric space using the trained model, and configuration parameters are instantly predicted using previously-explored configurations from the nearest neighbor instance in the learned embedding space. Empirical results on real-world problem benchmarks show that our method predicts configuration parameters that improve solutions' costs by up to 38% compared to existing approaches.

Solving Multi-Configuration Problems: A Performance Analysis with Choco Solver

Configuring Multiple Instances with Multi-Configuration

Constraint solvers: An empirical evaluation of design decisions

Solving Configuration Optimization Problem with Multiple Hard Constraints: An Enhanced Multi-Objective Simulated Annealing Approach

Solver Scheduling via Answer Set Programming

A Multicore Tool for Constraint Solving

Learning to Configure Mathematical Programming Solvers by Mathematical Programming

Conjunctive Query Based Constraint Solving For Feature Model Configuration

A learning-based mathematical programming formulation for the automatic configuration of optimization solvers

An Instance Space Analysis of Constrained Multi-Objective Optimization Problems

Designing a Framework for Solving Multiobjective Simulation Optimization Problems

A Chemist's Guide to Multi-Objective Optimization Solvers for Reaction Optimization

Automatic MILP Solver Configuration By Learning Problem Similarities

Exploiting Configurations of MaxSAT Solvers

Neural Solver Selection for Combinatorial Optimization

Ensemble-based constraint handling in multiobjective optimization

A Performance Investigation of Multimodal Multiobjective Optimization Algorithms in Solving Two Types of Real-World Problems

Sequential Model-Based Optimization for General Algorithm Configuration

An overview of machine learning techniques in constraint solving

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

Generating Efficient Solvers from Constraint Models.