This is the combination of packing and covering. Its IP form is where Opt could be Min or Max, and is a 0-1 matrix. The equation means that exactly elements must be selected from set In particular, a multiple choice constraint is

Categories: Common Problems | MIP/CO