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