Exact proof objects and standalone verification for weighted-sum supportability and unsupportedness in finite multi-objective optimisation.
python reproducible-research multi-objective-optimisation exact-arithmetic proof-certificates pareto-optimisation
-
Updated
Jun 24, 2026 - Python