2007 |
8 | EE | Yat Chiu Law,
Jimmy Ho-Man Lee,
M. H. C. Woo:
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs.
Australian Conference on Artificial Intelligence 2007: 191-201 |
7 | EE | Yat Chiu Law,
Jimmy Ho-Man Lee,
Toby Walsh,
J. Y. K. Yip:
Breaking Symmetry of Interchangeable Variables and Values.
CP 2007: 423-437 |
6 | EE | Yat Chiu Law,
Jimmy Ho-Man Lee,
Barbara M. Smith:
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Constraints 12(4): 469-505 (2007) |
2006 |
5 | EE | Yat Chiu Law,
Jimmy Ho-Man Lee,
M. H. C. Woo:
Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling.
Australian Conference on Artificial Intelligence 2006: 59-68 |
2005 |
4 | EE | Yat Chiu Law,
Jimmy Ho-Man Lee:
Breaking value symmetries in matrix models using channeling constraints.
SAC 2005: 371-376 |
2004 |
3 | EE | Yat Chiu Law,
Jimmy Ho-Man Lee:
Global Constraints for Integer and Set Value Precedence.
CP 2004: 362-376 |
2002 |
2 | | Yat Chiu Law,
Jimmy Ho-Man Lee:
Model Induction: A New Source of CSP Model Redundancy.
AAAI/IAAI 2002: 54- |
1 | EE | Yat Chiu Law,
Jimmy Ho-Man Lee:
Algebraic Properties of CSP Model Operators.
CP 2002: 750-754 |