English
Related papers

Related papers: Clique Probing for Mixed-Integer Programs

200 papers

This paper surveys the trend of leveraging machine learning to solve mixed integer programming (MIP) problems. Theoretically, MIP is an NP-hard problem, and most of the combinatorial optimization (CO) problems can be formulated as the MIP.…

Artificial Intelligence · Computer Science 2022-03-08 Jiayi Zhang , Chang Liu , Junchi Yan , Xijun Li , Hui-Ling Zhen , Mingxuan Yuan

Ensemble learning combines multiple classifiers in the hope of obtaining better predictive performance. Empirical studies have shown that ensemble pruning, that is, choosing an appropriate subset of the available classifiers, can lead to…

Mixed-integer optimization solvers often find optimal solutions early in the search, yet spend the majority of computation time proving optimality. We exploit this by learning when to terminate solvers early on distributions of similar…

Optimization and Control · Mathematics 2026-02-03 Stefan Clarke , Bartolomeo Stellato

A key ingredient in branch and bound (B&B) solvers for mixed-integer programming (MIP) is the selection of branching variables since poor or arbitrary selection can affect the size of the resulting search trees by orders of magnitude. A…

Optimization and Control · Mathematics 2020-08-31 Daniel Anderson , Pierre Le Bodic , Kerri Morgan

Mixed-Integer Linear Programs (MIPs) are powerful and flexible tools for modeling a wide range of real-world combinatorial optimization problems. Predict-and-Search methods operate by using a predictive model to estimate promising variable…

Artificial Intelligence · Computer Science 2026-04-21 Junyang Cai , El Mehdi Er Raqabi , Pascal Van Hentenryck , Bistra Dilkina

There has been growing interest in implementing massive MIMO systems by one-bit analog-to-digital converters (ADCs), which have the benefit of reducing the power consumption and hardware complexity. One-bit MIMO detection arises in such a…

Information Theory · Computer Science 2023-07-04 Cheng-Yang Yu , Mingjie Shao , Wei-Kun Chen , Ya-Feng Liu , Wing-Kin Ma

This study addresses a distributed optimization with a novel class of coupling of variables, called clique-wise coupling. A clique is a node set of a complete subgraph of an undirected graph. This setup is an extension of pairwise coupled…

Optimization and Control · Mathematics 2023-04-24 Yuto Watanabe , Kazunori Sakurama

The current cut selection algorithm used in mixed-integer programming solvers has remained largely unchanged since its creation. In this paper, we propose a set of new cut scoring measures, cut filtering techniques, and stopping criteria,…

Optimization and Control · Mathematics 2023-07-18 Mark Turner , Timo Berthold , Mathieu Besançon

We propose a new exact approach for solving integer linear programming (ILP) problems which we will call projective splitting algorithms (PSAs). Unlike classical methods for solving ILP problems, PSAs conduct the search for the optimal…

Optimization and Control · Mathematics 2014-04-16 Federico Rodes , Isabel Mendez-Diaz , Paula Zabala

We transform join ordering into a mixed integer linear program (MILP). This allows to address query optimization by mature MILP solver implementations that have evolved over decades and steadily improved their performance. They offer…

Databases · Computer Science 2015-11-09 Immanuel Trummer , Christoph Koch

Implied-integer detection is a well-known presolving technique that is used by many Mixed-Integer Linear Programming solvers. Informally, a variable is said to be implied integer if its integrality is enforced implicitly by integrality of…

Discrete Mathematics · Computer Science 2025-07-15 Rolf van der Hulst , Matthias Walter

In contrast to traditional exhaustive search, selective search first clusters documents into several groups before all the documents are searched exhaustively by a query, to limit the search executed within one group or only a few groups.…

Information Retrieval · Computer Science 2023-03-21 Zhanyu Wang , Xiao Zhang , Hyokun Yun , Choon Hui Teo , Trishul Chilimbi

In multi-objective optimization, several potentially conflicting objective functions need to be optimized. Instead of one optimal solution, we look for the set of so called non-dominated solutions. An important subset is the set of…

Discrete Mathematics · Computer Science 2023-04-24 Fritz Bökler , Levin Nemesch , Mirko H. Wagner

Recent advances in mathematical programming have made Mixed Integer Optimization a competitive alternative to popular regularization methods for selecting features in regression problems. The approach exhibits unquestionable foundational…

Methodology · Statistics 2019-10-01 Ana Kenney , Francesca Chiaromonte , Giovanni Felici

The analysis of infeasible subproblems plays an import role in solving mixed integer programs (MIPs) and is implemented in most major MIP solvers. There are two fundamentally different concepts to generate valid global constraints from…

Optimization and Control · Mathematics 2016-11-24 Jakob Witzig , Timo Berthold , Stefan Heinz

Mixed-integer programming (MIP) technology offers a generic way of formulating and solving combinatorial optimization problems. While generally reliable, state-of-the-art MIP solvers base many crucial decisions on hand-crafted heuristics,…

Machine Learning · Computer Science 2022-05-31 Elias B. Khalil , Christopher Morris , Andrea Lodi

We consider a discrete optimization formulation for learning sparse classifiers, where the outcome depends upon a linear combination of a small subset of features. Recent work has shown that mixed integer programming (MIP) can be used to…

Machine Learning · Statistics 2021-06-08 Antoine Dedieu , Hussein Hazimeh , Rahul Mazumder

In this paper, we describe a novel unsupervised learning scheme for accelerating the solution of a family of mixed integer programming (MIP) problems. Distinct substantially from existing learning-to-optimize methods, our proposal seeks to…

Optimization and Control · Mathematics 2024-12-25 Shiyuan Qu , Fenglian Dong , Zhiwei Wei , Chao Shang

Mixed-integer programming (MIP) research is both mathematically sophisticated and engineering-intensive: testing an algorithmic hypothesis within a branch-and-cut solver requires substantial implementation, debugging, tuning, and…

Artificial Intelligence · Computer Science 2026-05-12 Liding Xu , Yugeng Zhou , Sebastian Pokutta

Chordal decomposition techniques are used to reduce large structured positive semidefinite matrix constraints in semidefinite programs (SDPs). The resulting equivalent problem contains multiple smaller constraints on the nonzero blocks (or…

Optimization and Control · Mathematics 2020-09-10 Michael Garstka , Mark Cannon , Paul Goulart