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: Time, Energy and security Analysis for Multi/Manycore heterogenous PLAtforms - TeamPlay 
License: In Copyright In Copyright
Appears in Collections:Publications with fulltext

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 5, 2020


checked on Aug 5, 2020

Google ScholarTM


Note about this record


This item is licensed under a Creative Commons License Creative Commons