Yuriy Zinchenko

The analysis of why a specific MIP instance is infeasible formally can be reduced to computing an Irreducible Infeasible Subset (IIS) of the constraints. Unlike the case of LP, for MIP there is no useful duality that can be employed to facilitate...

In many applications, ranging from engineering to economics and applied mathematics, it is often desired to locate an extremum of a functional that captures the performance of the system. Typically, such an extremum has to be found subject to a set...