publications

Y. C. Law, J. H. M. Lee, T. Walsh, and M. H. C. Woo.
Multiset Variable Representations and Constraint Propagation,
Constraints, 18(3),
pages 307343, 2013.

X. Dupont, A. Lallouet, Y. C. Law, J. H. M. Lee, and C. F. K. Siu.
Programmation par Contraintes sur les Sˆmquences Infinies,
in Proceedings of Huitiˆomes Journˆmes Francophones de Programmation par Contraintes (JFPC2012),
pages 107116, 2012.

Y. C. Law, J. H. M. Lee, T. Walsh, and M. H. C. Woo.
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming,
in Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI2011),
pages 6167, 2011.

A. Lallouet, Y. C. Law, J. H. M. Lee, and C. F. K. Siu.
Constraint Programming on Infinite Data Streams,
in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI2011),
pages 597604, 2011.

Y. C. Law, J. H. M. Lee, and M. H. C. Woo.
Redundant Modeling in Permutation Weighted Constraint Satisfaction Problems.
Constraints, 15(3),
pages 354403, 2010.

Y. C. Law, J. H. M. Lee, and M. H. C. Woo.
Variety Reasoning for Multiset Constraint Propagation,
in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI2009),
pages 552558, 2009.

Y. C. Law, J. H. M. Lee, and M. H. C. Woo.
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs,
in Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI2007),
pages 191201, 2007.

Y. C. Law, J. H. M. Lee, T. Walsh, and J. Y. K. Yip.
Breaking Symmetry of Interchangeable Variables and Values,
in Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP2007),
pages 423437, 2007.

Y. C. Law, J. H. M. Lee, and B. M. Smith.
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Constraints, 12(4),
pages 469505, 2007.

Y. C. Law and J. H. M. Lee.
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.
Constraints, 11(23),
pages 221267, 2006.

Y. C. Law, J. H. M. Lee, and M. H. C. Woo.
Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling,
in Proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI2006),
pages 5968, 2006.

Y. C. Law.
Using Constraints to Break Value Symmetries in Constraint Satisfaction Problems.
PhD Thesis, Department of Computer Science and Engineering, The Chinese University of Hong Kong,
2005.

Y. C. Law and J. H. M. Lee.
Breaking Value Symmetries in Matrix Models using Channeling Constraints,
in Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005),
pages 375380, 2005.

Y. C. Law and J. H. M. Lee.
Global Constraints for Integer and Set Value Precedence,
in Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP2004),
pages 362376, 2004.

Y. C. Law and J. H. M. Lee.
Expressing Symmetry Breaking Constraints Using Multiple Viewpoints and Channeling Constraints,
in Workshop Notes of the 3rd International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon2003, held in conjunction with CP2003),
pages 127141, 2003.

Y. C. Law.
Model Induction: a New Source of Model Redundancy for Constraint Satisfaction Problems.
Master's Thesis, Department of Computer Science and Engineering, The Chinese University of Hong Kong,
2002.

Y. C. Law and J. H. M. Lee.
Model Induction: a New Source of CSP Model Redundancy,
in Proceedings of the 18th National Conference on Artificial Intelligence (AAAI2002),
pages 5460, 2002.

Y. C. Law and J. H. M. Lee.
Algebraic Properties of CSP Model Operators,
in Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (CP2002),
pages 750754, 2002.

Y. C. Law and J. H. M. Lee.
Algebraic Properties of CSP Model Operators,
in Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation (held in conjunction with CP2002),
pages 5771, 2002.