Scheder, Dominik

1. A Full Derandomization of Schoening's k-SAT Algorithm
   2010/08/24 by Moser, Robin A., Scheder, Dominik · 2 citations
   #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #G.2.1
2. Using CSP To Improve Deterministic 3-SAT
   2010/07/07 by Konstantin Kutzkov, Kutzkov, Konstantin, Dominik Scheder +1 · 3 citations
   Computer Science · #Advanced Graph Theory Research #Algorithms and Data Compression #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences