In addition, SCIP provides a highly flexible framework for constraint integer programming and branch-cut-and-price. It allows for total control of the solution process and the access of detailed ...

PaPILO, a C++14-based software package, provides parallel presolve routines for (mixed integer) linear programming problems ... passes the presolved problem to those solvers and applies the postsolve ...

Abstract: We extend the language of signed many-valued clausal forms with linear integer arithmetic constraints. In this way, we get a simple modeling language in which a wide range of practical ...

A mixed integer linear program is established to describe the problem. To obtain its Pareto solutions, we present a memetic algorithm that integrates a population-based nondominated sorting genetic ...

For this purpose, a mixed-integer linear programming (MILP) problem is formulated, where time-dependent binary variables are introduced for describing the switches of the treatment stages. While ...