3 . Resolution and Separation Theorems for Polyhedral Convex Sets