Mixed Integer Linear Programming Definition