Thorsten Ehlers
Identifiers
No identifiers captured yet.
Papers (7)
- On Solving Word Equations Using SAT cs.FL · 2019 · author #2
- On Modelling the Avoidability of Patterns as CSP cs.FL · 2019 · author #1
- Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs cs.DC · 2018 · author #2
- A Generalization of the Directed Graph Layering Problem cs.OH · 2016 · author #2
- Sorting Networks: to the End and Back Again cs.DS · 2015 · author #3
- New Bounds on Optimal Sorting Networks cs.DM · 2015 · author #1
- Faster Sorting Networks for $17$, $19$ and $20$ Inputs cs.DS · 2014 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Dirk Nowotka 3 shared papers
- Mike M\"uller 3 shared papers
- Florin Manea 2 shared papers
- Danny B{\o}gsted Poulsen 1 shared papers
- Joel D. Day 1 shared papers
- Kamellia Reshadi 1 shared papers
- Lu\'is Cruz-Filipe 1 shared papers
- Max J. Friese 1 shared papers
- Michael Codish 1 shared papers
- Miro Sp\"onemann 1 shared papers
- Mitja Kulczynski 1 shared papers
- Peter Schneider-Kamp 1 shared papers
- Reinhard von Hanxleden 1 shared papers
- Ulf R\"uegg 1 shared papers