A review of Pareto pruning methods for multi-objective optimization. (May 2022)