Search results for: Hubie Chen
Theory of Computing Systems > 2019 > 63 > 7 > 1573-1594
Theory of Computing Systems > 2017 > 61 > 3 > 851-870
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B5: Logic in Computer Science > 344-355
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2004 > Approximations > 239-250
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2004 > Full Papers > 182-196
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 338-347
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 167-181
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2004 > Full Papers > 168-181
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Full Papers > 199-213
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 155-169
Lecture Notes in Computer Science > STACS 2005 > Session 5A > 315-326
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 408-421
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 328-337
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 71-79