Exact algorithms for multi-objective integer non-linear programming by cutting solution space | IEEE Conference Publication | IEEE Xplore