Verified methods for computing Pareto sets: general algorithmic analysis

From MaRDI portal
Publication:6487155