Search results
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 587-599
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming-CP97 > 297-311
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 224-234