Approximating the Pareto Front of Multi-criteria Optimization Problems

We propose a general methodology for approximating the Pareto front of multi-criteria optimization problems. Our search-based methodology consists of submitting queries to a constraint solver. Hence, in addition to a set of solutions, we can guarantee bounds on the distance to the actual Pareto front and use this distance to guide the search. Our implementation, which computes and updates the distance efficiently, has been tested on numerous examples.

• Type: Conference
• Year: 2010
• Where: TACAS
• Authors: Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
• Keywords: Algorithms, General Methodology, Multi-criteria Optimization Problems, Search-based Methodology, TACAS 2010