Search results for: Peter Jeavons
IEEE Transactions on Microwave Theory and Techniques > 2016 > 64 > 11-2 > 4071 - 4079
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2011 > Extended Abstracts > 371-372
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Full Papers > 183-198
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2004 > Full Papers > 212-226
Lecture Notes in Computer Science > STACS 2004 > Satisfiability – Constraint Satisfaction Problem > 152-163
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2010 > Research Track > 398-413
NATO Science Series II: Mathematics, Physics and Chemistry > Structural Theory of Automata, Semigroups, and Universal Algebra > 181-213
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP96 > 267-281
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP '95 > 276-291
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Full Papers > 244-258
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Best Papers > 17-31
Lecture Notes in Computer Science > Computational Learning Theory > Learning from Queries and Counterexamples > 63-78
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 1-15
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2000 > Regular Papers > 160-171
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming-CP97 > 478-490
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP96 > 134-148