Thorsten Ehlers

According to our database, Thorsten Ehlers authored at least 19 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Sorting networks: To the end and back again.

Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp

J. Comput. Syst. Sci., 2019

On Modelling the Avoidability of Patterns as CSP.

Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi

CoRR, 2019

On Solving Word Equations Using SAT.

Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Reachability Problems - 13th International Conference, 2019

Improving Estimations for Latencies of Cause-Effect Chains.

Max J. Friese, Thorsten Ehlers, Dirk Nowotka

Proceedings of the Analysis, Estimations, and Applications of Embedded Systems, 2019

2018

Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs.

Max J. Friese, Thorsten Ehlers, Dirk Nowotka

Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Tuning Parallel SAT Solvers.

Thorsten Ehlers, Dirk Nowotka

Proceedings of Pragmatics of SAT 2015, 2018

Breaking Symmetries with Lex Implications.

Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

SAT and CP - Parallelisation and Applications.

Thorsten Ehlers

PhD thesis, 2017

Generalized Layerings for Arbitrary and Fixed Drawing Areas.

Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden

J. Graph Algorithms Appl., 2017

Merging almost sorted sequences yields a 24-sorter.

Thorsten Ehlers

Inf. Process. Lett., 2017

Jdrasil: A Modular Library for Computing Tree Decompositions.

Max Bannach, Sebastian Berndt, Thorsten Ehlers

Proceedings of the 16th International Symposium on Experimental Algorithms, 2017

2016

A Generalization of the Directed Graph Layering Problem.

Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden

Proceedings of the Graph Drawing and Network Visualization - 24th International Symposium, 2016

Parallelizing Constraint Programming with Learning.

Thorsten Ehlers, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

2015

k-Abelian pattern matching.

Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka

J. Discrete Algorithms, 2015

New Bounds on Optimal Sorting Networks.

Thorsten Ehlers, Mike Müller

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014

Faster Sorting Networks for $17$, $19$ and $20$ Inputs.

Thorsten Ehlers, Mike Müller

CoRR, 2014

Formal software verification for the migration of embedded code from single- to multicore systems.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Communication in Massively-Parallel SAT Solving.

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013

Online-Scheduling on Identical Machines with Bounded Migration.

Thorsten Ehlers, Klaus Jansen

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013