| 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 | 35 | 2019 |
| Jdrasil: A modular library for computing tree decompositions M Bannach, S Berndt, T Ehlers 16th International Symposium on Experimental Algorithms (SEA 2017), 2017 | 29 | 2017 |
| 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 | 24 | 2019 |
| New bounds on optimal sorting networks T Ehlers, M Müller Evolving Computability: 11th Conference on Computability in Europe, CiE 2015 …, 2015 | 23 | 2015 |
| 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 | 22 | 2018 |
| 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 | 16 | 2016 |
| k-Abelian pattern matching T Ehlers, F Manea, R Mercaş, D Nowotka Journal of Discrete Algorithms 34, 37-48, 2015 | 13 | 2015 |
| Communication in massively-parallel SAT solving T Ehlers, D Nowotka, P Sieweck 2014 IEEE 26th international conference on tools with artificial …, 2014 | 12 | 2014 |
| Parallelizing constraint programming with learning T Ehlers, PJ Stuckey Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016 | 11 | 2016 |
| 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 | 8 | 2014 |
| Tuning parallel sat solvers T Ehlers, D Nowotka Proceedings of Pragmatics of SAT 59, 127-143, 2019 | 7 | 2019 |
| 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 | 7 | 2018 |
| 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 | 6 | 2017 |
| Merging almost sorted sequences yields a 24-sorter T Ehlers Information Processing Letters 118, 17-20, 2017 | 5 | 2017 |
| SAT and CP: Parallelisation and Applications T Ehlers | 5 | 2017 |
| Sequential and parallel glucose hacks T Ehlers, D Nowotka Proceedings of the SAT Competition, 39, 2016 | 5 | 2016 |
| 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 | 5 | 2014 |
| Breaking symmetries with lex implications M Codish, T Ehlers, G Gange, A Itzhakov, PJ Stuckey Functional and Logic Programming: 14th International Symposium, FLOPS 2018 …, 2018 | 3 | 2018 |
| Online-scheduling on identical machines with bounded migration T Ehlers, K Jansen 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 3 | 2013 |
Dirk NowotkaProfessor für Informatik, Christian-Albrechts-Universität zu KielVerified email at zs.uni-kiel.de
