Follow
Thorsten Ehlers
Title
Cited by
Cited by
Year
Sorting networks: To the end and back again
M Codish, L Cruz-Filipe, T Ehlers, M Müller, P Schneider-Kamp
Journal of Computer and System Sciences 104, 184-201, 2019
352019
Jdrasil: A modular library for computing tree decompositions
M Bannach, S Berndt, T Ehlers
16th International Symposium on Experimental Algorithms (SEA 2017), 2017
322017
On solving word equations using SAT
JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen
Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019
292019
Chuffed, a lazy clause generation solver
G Chu, PJ Stuckey, A Schutt, T Ehlers, G Gange, K Francis
URL: https://github. com/chuffed/chuffed, 2018
292018
New bounds on optimal sorting networks
T Ehlers, M Müller
Conference on Computability in Europe, 167-176, 2015
242015
A generalization of the directed graph layering problem
U Rüegg, T Ehlers, M Spönemann, R von Hanxleden
Graph Drawing and Network Visualization: 24th International Symposium, GD …, 2016
182016
k-Abelian pattern matching
T Ehlers, F Manea, R Mercaş, D Nowotka
Journal of Discrete Algorithms 34, 37-48, 2015
142015
Communication in massively-parallel SAT solving
T Ehlers, D Nowotka, P Sieweck
2014 IEEE 26th international conference on tools with artificial …, 2014
122014
Parallelizing constraint programming with learning
T Ehlers, PJ Stuckey
Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016
112016
Tuning parallel sat solvers
T Ehlers, D Nowotka
Proceedings of Pragmatics of SAT, 127-143, 2015
92015
Chuffed, a lazy clause generation solver, 2016
G Chu, PJ Stuckey, A Schutt, T Ehlers, G Gange, K Francis
URL https://www. github. com/chuffed/chuffed 4, 0
9
Faster Sorting Networks for , and Inputs
T Ehlers, M Müller
arXiv preprint arXiv:1410.2736, 2014
82014
Estimating latencies of task sequences in multi-core automotive ecus
MJ Friese, T Ehlers, D Nowotka
2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES …, 2018
72018
Generalized Layerings for Arbitrary and Fixed Drawing Areas.
U Rüegg, T Ehlers, M Spönemann, R von Hanxleden
J. Graph Algorithms Appl. 21 (5), 823-856, 2017
72017
Merging almost sorted sequences yields a 24-sorter
T Ehlers
Information Processing Letters 118, 17-20, 2017
52017
SAT and CP: Parallelisation and Applications
T Ehlers
52017
Sequential and parallel glucose hacks
T Ehlers, D Nowotka
Proceedings of the SAT Competition, 39, 2016
52016
Finding race conditions in real-time code by using formal software verification
T Ehlers, D Nowotka, P Sieweck
FORMS/FORMAT 2014: 10th Symp. on Formal Methods for Automation and Safety in …, 2014
52014
Auswirkungen der Fit-for-55-Instrumente auf die Preise in der Luftfahrt
T Ehlers, K Kölker, K Lütjens
Wirtschaftsdienst 102 (10), 801-807, 2022
32022
Commodity price pass-through in the US airline industry and the hidden perks of consolidation
AH Wolter, T Ehlers, K Luetjens, V Gollnick
Journal of air transport management 95, 102100, 2021
32021
The system can't perform the operation now. Try again later.
Articles 1–20