A mathematical optimization technique that finds the best solution among discrete options subject to linear constraints.