A Semi-infinite Programming Approach to Possibilistic Optimization under Necessity Measure Constraints