Thorsten Ehlers

1. On Solving Word Equations Using SAT
   2019/06/27 by Joel D. Day, Day, Joel D., Thorsten Ehlers +9 · 5 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #cs.FL
2. Faster Sorting Networks for 17, 19 and 20 Inputs
   2014/10/10 by Thorsten Ehlers, Ehlers, Thorsten, Mike Müller +1 · 2 citations
   Computer Science · Engineering · #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Interconnection Networks and Systems #VLSI and FPGA Design Techniques #cs.DM #cs.DS #graph theory and CDMA systems