A Highly Efficient Approach for Bi-Level Programming Problems Based on Dominance Determination