Search results for: Tobias Schubert
Lecture Notes in Computer Science > Applied Computing > Scheduling, Optimisation and Constraint Solving > 59-67
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 437-443
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Distributed and Parallel Solving > 509-523
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2015 > 34 > 8 > 1358 - 1369