PaMILO: A Solver for Multi-objective Mixed Integer Linear Optimization and Beyond. - Fritz Bökler; Levin Nemesch; Mirko H. Wagner (OR, 2022)