Search results for: Carsten Sinz
Artificial Intelligence > 2016 > 241 > C > 45-65
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Applications and Technology Track > 600-611
Lecture Notes in Computer Science > Parallel Processing and Applied Mathematics > Special Session on Parallel/Distributed Constraint Solving > 819-829
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Short Papers > 827-831
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Automatic Adaption of SAT Solvers > 356-362
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 257-268
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 1. Proofs and Cores > 54-60
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 201-214
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 154-160
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 161-167
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Applied Formal Verification > 547-555
Lecture Notes in Business Information Processing > Business Information Systems Workshops > BPSC Conference > 18-29
Artificial Intelligence > 2015 > 223 > Complete > 120-155
Innovations in Systems and Software Engineering > 2015 > 11 > 4 > 233-242