The branch-and-cut algorithm for integer programming has a wide variety of tunable parameters that have a huge impact on its performance, but which are challenging to tune by hand. An increasingly popular approach is to use machine learning to configure these parameters based on a training set of integer programs from the application domain. We bound how large the training set should be to ensure that for any configuration, its average performance over the training set is close to its expected future performance. Our guarantees apply to parameters that control the most important aspects of branch-and-cut: node selection, branching constraint selection, and cut selection, and are sharper and more general than those from prior research
The branch and bound principle has long been established as an effective computational tool for solv...
We investigate the theoretical complexity of branch-and-bound (BB) and cutting plane (CP) algorithms...
Cut selection is a subroutine used in all modern mixed-integer linear programming solvers with the g...
Branch-and-cut is the most widely used algorithm for solving integer programs, employed by commercia...
We present in this paper a new approach that uses supervised machine learning techniques to improve ...
We discuss the variability in the performance of multiple runs of branch-and-cut mixed integer linea...
International audienceBranch-and-Cut is a widely-used method for solving integer programming problem...
We study the complexity of cutting planes and branching schemes from a theoretical point of view. We...
We study the complexity of cutting planes and branching schemes from a theoretical point of view. We...
We describe in this paper a new approach to parallelize branch-and-bound on a certain number of proc...
The branch and bound principle has been established as an effective computational tool for solving l...
Using a direct counting argument, we derive lower and upper bounds for the number of nodes enu-merat...
Proof complexity provides a promising approach aimed at resolving the P versus NP question by establ...
In line with the growing trend of using machine learning to improve solving of combinatorial optimis...
Branch-and-cut is the dominant paradigm for solving a wide range of mathematical programming problem...
The branch and bound principle has long been established as an effective computational tool for solv...
We investigate the theoretical complexity of branch-and-bound (BB) and cutting plane (CP) algorithms...
Cut selection is a subroutine used in all modern mixed-integer linear programming solvers with the g...
Branch-and-cut is the most widely used algorithm for solving integer programs, employed by commercia...
We present in this paper a new approach that uses supervised machine learning techniques to improve ...
We discuss the variability in the performance of multiple runs of branch-and-cut mixed integer linea...
International audienceBranch-and-Cut is a widely-used method for solving integer programming problem...
We study the complexity of cutting planes and branching schemes from a theoretical point of view. We...
We study the complexity of cutting planes and branching schemes from a theoretical point of view. We...
We describe in this paper a new approach to parallelize branch-and-bound on a certain number of proc...
The branch and bound principle has been established as an effective computational tool for solving l...
Using a direct counting argument, we derive lower and upper bounds for the number of nodes enu-merat...
Proof complexity provides a promising approach aimed at resolving the P versus NP question by establ...
In line with the growing trend of using machine learning to improve solving of combinatorial optimis...
Branch-and-cut is the dominant paradigm for solving a wide range of mathematical programming problem...
The branch and bound principle has long been established as an effective computational tool for solv...
We investigate the theoretical complexity of branch-and-bound (BB) and cutting plane (CP) algorithms...
Cut selection is a subroutine used in all modern mixed-integer linear programming solvers with the g...