Separating support hyperplanes for a pair of convex polyhedral sets