Search results for: Ewald Speckenmeyer
Lecture Notes in Computer Science > CSL '88 > 301-312
Lecture Notes in Computer Science > CSL '89 > 369-381
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 5. Structure > 212-225
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 173-186
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 251-262
Lecture Notes in Computer Science > Supercomputing > 985-993
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 251-263
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Structures for SAT > 86-100
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 231-245
Lecture Notes in Computer Science > CSL '87 > 281-288
Public Transport > 2016 > 8 > 1 > 39-56
Discrete Applied Mathematics > 2014 > 167 > Complete > 1-14
Discrete Applied Mathematics > 2012 > 160 > 16-17 > 2349-2363
Discrete Applied Mathematics > 2009 > 157 > 5 > 1046-1068
Discrete Applied Mathematics > 2007 > 155 > 11 > 1408-1419
Annals of Mathematics and Artificial Intelligence > 2005 > 43 > 1-4 > 173-193