pith. sign in

Thorsten Ehlers

Identifiers

No identifiers captured yet.

Papers (7)

  1. On Solving Word Equations Using SAT cs.FL · 2019 · author #2
  2. On Modelling the Avoidability of Patterns as CSP cs.FL · 2019 · author #1
  3. Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs cs.DC · 2018 · author #2
  4. A Generalization of the Directed Graph Layering Problem cs.OH · 2016 · author #2
  5. Sorting Networks: to the End and Back Again cs.DS · 2015 · author #3
  6. New Bounds on Optimal Sorting Networks cs.DM · 2015 · author #1
  7. Faster Sorting Networks for $17$, $19$ and $20$ Inputs cs.DS · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors