A linear program with additional constraints that some of the variables must take on integer values. Solving such problems is NP-hard.