Solving multi-objective Pseudo-Boolean problems

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Lukasiewycz M, Glaß M, Haubelt C, Teich J
Jahr der Veröffentlichung: 2007
Tagungsband: Proceedings of Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
Seitenbereich: 56-69
ISBN: 9783540727873


Abstract


Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these problems have a Boolean nature, i.e., the variables are restricted to 0 and 1, so called Pseudo-Boolean solvers have been proposed. They are mostly based on SAT solvers which took continuous improvements over the past years. However, Pseudo-Boolean solvers are only able to optimize a single linear function while fulfilling several constraints. Unfortunately many real-world optimization problems have multiple objective functions which are often conflicting and have to be optimized simultaneously, resulting in general in a set of optimal solutions. As a consequence, a single-objective Pseudo-Boolean solver will not be able to find this set of optimal solutions. As a remedy, we propose three different algorithms for solving multi-objective Pseudo-Boolean problems. Our experimental results will show the applicability of these algorithms on the basis of several test cases. © Springer-Verlag Berlin Heidelberg 2007.



FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Glaß, Michael Prof. Dr.-Ing.
Juniorprofessur für Informatik
Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Zitierweisen

APA:
Lukasiewycz, M., Glaß, M., Haubelt, C., & Teich, J. (2007). Solving multi-objective Pseudo-Boolean problems. In Proceedings of Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007) (pp. 56-69). Lisbon, PT.

MLA:
Lukasiewycz, Martin, et al. "Solving multi-objective Pseudo-Boolean problems." Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, Lisbon 2007. 56-69.

BibTeX: 

Zuletzt aktualisiert 2018-07-08 um 20:54