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.

CUHK   |   Engineering Faculty   |   CSE Webmail   |   Sitemap   |   Privacy Statement   |   Contact Us
Copyright © 2011 Department of Computer Science and Engineering, The Chinese University of Hong Kong. All rights reserved.
Email: dept@cse.cuhk.edu.hk       Tel: (852) 26098440       Fax: (852) 26035024