Thorsten Ehlers
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On solving word equations using SAT | 2019-10-22 | Paper |
| Sorting networks: to the end and back again Journal of Computer and System Sciences | 2019-06-25 | Paper |
| Jdrasil: a modular library for computing tree decompositions | 2018-08-13 | Paper |
| Breaking symmetries with lex implications | 2018-07-09 | Paper |
| Generalized layerings for arbitrary and fixed drawing areas Journal of Graph Algorithms and Applications | 2017-10-12 | Paper |
| A generalization of the directed graph layering problem Lecture Notes in Computer Science | 2017-02-21 | Paper |
| Merging almost sorted sequences yields a 24-sorter Information Processing Letters | 2016-11-23 | Paper |
| Parallelizing constraint programming with learning Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
| New Bounds on Optimal Sorting Networks Evolving Computability | 2015-10-20 | Paper |
| \(k\)-abelian pattern matching Journal of Discrete Algorithms | 2015-08-24 | Paper |
| k-Abelian Pattern Matching Developments in Language Theory | 2014-10-14 | Paper |
Research outcomes over time
This page was built for person: Thorsten Ehlers
