research
∙
07/26/2023
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Conflict analysis has been successfully generalized from Boolean satisfi...
share
research
∙
07/21/2023
Hybrid Genetic Search for Dynamic Vehicle Routing with Time Windows
The dynamic vehicle routing problem with time windows (DVRPTW) is a gene...
research
∙
07/07/2023
Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization
We introduce Scylla, a primal heuristic for mixed-integer optimization p...
research
∙
04/04/2023
Online Learning for Scheduling MIP Heuristics
Mixed Integer Programming (MIP) is NP-hard, and yet modern solvers often...
research
∙
03/04/2022
The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights
Combinatorial optimization is a well-established area in operations rese...
research
∙
03/18/2021
Learning to Schedule Heuristics in Branch-and-Bound
Primal heuristics play a crucial role in exact solvers for Mixed Integer...
research
∙
09/16/2020
Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices
Fast domain propagation of linear constraints has become a crucial compo...
research
∙
12/30/2019
Linear Programming using Limited-Precision Oracles
Since the elimination algorithm of Fourier and Motzkin, many different m...
research
∙
11/27/2016