publications
• Ka Wai Cecilia Chun, Ping Fu Fung,Yat Chiu Law, and Kwok Wing Sum. Cultivating Students' Computational Thinking and Digital Literacy in University Courses: A Hong Kong Example, in Proceedings of the 7th APSCE International Conference on Computational Thinking and STEM Education (CTE-STEM-2023), pages 73-76, 2023.
• Y. C. Law, J. H. M. Lee, T. Walsh, and M. H. C. Woo. Multiset Variable Representations and Constraint Propagation, Constraints, 18(3), pages 307-343, 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 (JFPC-2012), pages 107-116, 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 (AAAI-2011), pages 61-67, 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 (IJCAI-2011), pages 597-604, 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 354-403, 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 (IJCAI-2009), pages 552-558, 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 (AI-2007), pages 191-201, 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 (CP-2007), pages 423-437, 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 469-505, 2007.
• Y. C. Law and J. H. M. Lee. Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. Constraints, 11(2-3), pages 221-267, 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 (AI-2006), pages 59-68, 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 (SAC-2005), pages 375-380, 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 (CP-2004), pages 362-376, 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 (SymCon-2003, held in conjunction with CP-2003), pages 127-141, 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 (AAAI-2002), pages 54-60, 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 (CP-2002), pages 750-754, 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 CP-2002), pages 57-71, 2002.