Inspired by Fu et al. work [12] on modeling the exclusive-or differential property of the modulo addition as an mixed-integer programming problem, we propose a method with which any finite automaton can be formulated as an mixed-integer programming model. Using this method, we show how to construct a mixed integer programming model whose feasible region is the set of all differential patterns (...

For many years the mathematical programming community has realized the practical importance of developing algorithmic tools for tackling mixed integer optimization problems. Given our ability to solve linear optimization problems efficiently, one is inclined to think that a mixed integer program with both continuous and discrete variables is easier than a pure integer programming problem since ...

This survey presents tools from polyhedral theory that are used in integer programming. It applies them to the study of valid inequalities for mixed integer linear sets, such as Gomory’s mixed integer cuts.

This paper addresses the problem of guaranteeing efficient inland waterway transport in presence sequential movable bridges, which must be operated to grant vessel passage. The main contribution is formulation passage scheduling as a mixed-integer programming problem. algorithm receives widths and voyage plans, determines feasible through bridges that best matches plans. Process optimization ca...

<abstract><p>In this manuscript, we consider well-known multi-task learning (MTL) models from the literature for linear regression problems, such as clustered MTL or weakly constrained MTL. We propose novel reformulations of training problem these models, based on mixed-integer quadratic programming (MIQP) techniques. show that our approach allows to drive optimization process up ce...