Please use this identifier to cite or link to this item:
Fulltext available Open Access
Title: Evaluating the performance of solvers for integer-linear programming
Language: English
Authors: Luppold, Arno  
Oehlert, Dominic 
Falk, Heiko  
Editor: Eingebettete Systeme E-13 
Keywords: Integer-Linear Programming;ILP;Solvers;Evaluation
Issue Date: 2018
Abstract (english): Optimizing embedded systems often boils down to solving complex combinatorial optimization problems. Integer-Linear Programming (ILP) turned out to be a powerful tool to solve these problems, as beyond traditional constraints, Boolean variables may be used to model complex logical expressions and conditionals. One of the key technical aspects is to be able to efficiently express these relations within the ILP. This paper presents formalized solutions for these issues, as well as an assessment of common ILP solvers. Additionally, the performance impact is illustrated using a compiler based cache aging optimization.
DOI: 10.15480/882.1839
Institute: Eingebettete Systeme E-13 
Type: Report (Bericht)
Funded by: Deutsche Forschungsgemeinschaft
Project: Multi-Opt - Multikriterielle Code-Optimierung für Eingebettete Harte Echtzeitsysteme (Grant FA 1017/3-1) 
Appears in Collections:Publications (tub.dok)

Files in This Item:
File Description SizeFormat
ilp.pdfEvaluating the Performance of Solvers for Integer-Linear Programming405,63 kBAdobe PDFThumbnail
Show full item record

Page view(s)

Last Week
Last month
checked on Aug 20, 2019


checked on Aug 20, 2019

Google ScholarTM



This item is licensed under a Creative Commons License Creative Commons