[176839]
Title: Evaluating the Performance of Solvers for Integer-Linear Programming.
Written by: Arno Luppold, Dominic Oehlert and Heiko Falk
in: November (2018).
Volume: Number:
on pages:
Chapter:
Editor:
Publisher:
Series: 20181119-report-luppold.pdf
Address: Hamburg / Germany
Edition:
ISBN: 10.15480/882.1839
how published: 18-55 LOF18 Hamburg
Organization:
School: Hamburg University of Technology
Institution: Institute of Embedded Systems
Type: Technical Report
DOI:
URL:
ARXIVID:
PMID:

[BibTex]

Note: aluppold, doehlert, hfalk, ESD, WCC

Abstract: 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.