Skip to content

Thorsten Ehlers

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

8

Active years

2013–2018

Best venue rank

National

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2018FLOPSBreaking Symmetries with Lex Implications.Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
2018SATTuning Parallel SAT Solvers.Thorsten Ehlers, Dirk Nowotka
2016CPAIORParallelizing Constraint Programming with Learning.Thorsten Ehlers, Peter J. Stuckey
2016GDA Generalization of the Directed Graph Layering Problem.Ulf Regg, Thorsten Ehlers, Miro Spnemann, Reinhard von Hanxleden
2015CiENew Bounds on Optimal Sorting Networks.Thorsten Ehlers, Mike Mller
2014DLTk-Abelian Pattern Matching.Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
2014ICTAICommunication in Massively-Parallel SAT Solving.Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck
2013SYNASCOnline-Scheduling on Identical Machines with Bounded Migration.Thorsten Ehlers, Klaus Jansen