LEE, Jimmy Ho Man

Selected Publications:

• 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 Thirteenth International Conference on Principles and Practice of Constraint Programming (CP'07), pages 423-437, LNCS 4741, Providence, Rhode Island, USA, September, 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):469-505, 2007.
• C.W. Choi, J.H.M. Lee, and P.J. Stuckey. Removing Propagation Redundant Constraints in Redundant Modeling. ACM Transactions on Computational Logic, 8(4):Article 23 (38 pages), 2007.
• H. Fang, Y. Kilani, J.H.M. Lee, and P.J. Stuckey. The Island Confinement Method for Reducing Search Space in Constraint Satisfaction. Journal of Heuristics, 13(6):557-585, 2007.
• Y. C. Law and J. H. M. Lee. Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. CONSTRAINTS, 11(2-3):221-267, 2006.