linear programming with the additional requirement that one or more decision variables may only assume integer values
a linear program with the additional requirement that one or more of the variables must be integer
The Illinois Supreme Court doesn't found him guilty and so the case were dismissed