A linear programming problem that has additional constraints that require some or all decision variables to be integers.