Integer optimization problem