Pareto Explorer: a global/local exploration tool for many-objective optimization problems. Issue 5 (3rd May 2020)