The Pareto Calculator


A symbolic computation of some of the operators is implemented [2]


Pareto Calculator on github

A symbolic implementation in ParetoAlgebraLib on github

Selected Related Publications


[1] [doi] M. Geilen and T. Basten, “A calculator for pareto points,” in 2007 design, automation test in europe conference exhibition, 2007, pp. 1-6.
author = {Geilen, Marc and Basten, Twan},
booktitle = {2007 Design, Automation Test in Europe Conference Exhibition},
title = {A Calculator for Pareto Points},
year = {2007},
pages = {1-6},
doi = {10.1109/DATE.2007.364605},
[2] [doi] H. Shojaei, T. Basten, M. Geilen, and P. Stanley-Marbell, “Spac: a symbolic pareto calculator,” in Proceedings of the 6th ieee/acm/ifip international conference on hardware/software codesign and system synthesis, New York, NY, USA, 2008, p. 179–184.
author = {Shojaei, Hamid and Basten, Twan and Geilen, Marc and Stanley-Marbell, Phillip},
booktitle = {Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis},
title = {SPaC: A Symbolic Pareto Calculator},
year = {2008},
address = {New York, NY, USA},
pages = {179–184},
publisher = {Association for Computing Machinery},
series = {CODES+ISSS '08},
abstract = {The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents a symbolic Pareto calculator, SPaC, for the algebraic computation of multidimensional trade-offs. SPaC uses BDDs as a representation for solution sets and operations on them. The tool can be used in multi-criteria optimization and design-space exploration of embedded systems. The paper describes the design and implementation of Pareto algebra operations, and it shows that BDDs can be used effectively in Pareto optimization.},
doi = {10.1145/1450135.1450176},
isbn = {9781605584706},
keywords = {pareto algeba, binay decision diagram, embedded systems},
location = {Atlanta, GA, USA},
numpages = {6},
url = {},