Search results for: Víctor Dalmau
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2002 > Technical Papers > 310-326
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP’99 > Regular Papers > 159-173
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 358-367
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2004 > Full Papers > 182-196
Lecture Notes in Computer Science > Computational Learning Theory > Learning from Queries and Counterexamples > 63-78
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 196-210
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 167-181
Lecture Notes in Computer Science > STACS 2006 > 646-659
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 71-79
Information and Computation > 2016 > 247 > C > 87-105
Journal of Computer and System Sciences > 2013 > 79 > 1 > 79-100
Journal of Computer and System Sciences > 2012 > 78 > 2 > 638-650
Theoretical Computer Science > 2010 > 411 > 34-36 > 3188-3208
Information Processing Letters > 2009 > 109 > 4 > 213-218