Tables as a User Interface for Logic Programs. - Mantis H. M. Cheng; Maarten H. van Emden; Jimmy Ho-Man Lee (FGCS, 1988)

Adapting CLP to Floating-Point Arithmetic. - Jimmy Ho-Man Lee; Maarten H. van Emden (FGCS, 1992)

Numerical computation as deduction in constraint logic programming. - Jimmy Ho-Man Lee (1992)

Interval Computation as Deduction in CHIP. - Jimmy Ho-Man Lee; Maarten H. van Emden (J. Log. Program., 1993)

Construction of a WYSIWYG LaTeX Typesetting System Using Object-oriented Design. - J. H. M. Lee; J. C. K. Leung; C. C. K. Wong (Software Quality and Productivity, 1994)

A WAM-Based Abstract Machine for Interval Constraint Logic Programming. - J. H. M. Lee; T. W. Lee (ICTAI, 1994)

Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. - J. H. M. Lee; V. W. L. Tam (ICTAI, 1994)

IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. - Jimmy Ho-Man Lee; Ho-fung Leung (SAC, 1994)

Towards Practical Interval Constraint Solving in Logic Programming. - C. K. Chiu; Jimmy Ho-Man Lee (ILPS, 1994)

Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. - C. K. Chiu; J. H. M. Lee (ICLP, 1995)

Extending GENET for non-binary CSP's. - Jimmy Ho-Man Lee; Ho-fung Leung; Hon-Wing Won (ICTAI, 1995)

A Framework for Integrating Artificial Neural Networks and Logic Programming. - J. H. M. Lee; V. W. L. Tam (Int. J. Artif. Intell. Tools, 1995)

Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. - Jimmy Ho-Man Lee; Ho-fung Leung; Peter J. Stuckey; V. W. L. Tam; Hon-Wing Won (ASIAN, 1996)

Speeding Up Constraint Propagation By Redundant Modeling. - B. M. W. Cheng; Jimmy Ho-Man Lee; J. C. K. Wu (CP, 1996)

Towards a More Efficient Stochastic Constraint Solver. - Jimmy Ho-Man Lee; Ho-fung Leung; Hon-Wing Won (CP, 1996)

A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. - B. M. W. Cheng; Jimmy Ho-Man Lee; J. C. K. Wu (ICTAI, 1996)

An Overview of the OLI Multiparadigm Programming Language and Its Semantics. - J. H. M. Lee; P. K. C. Pun (OOIS, 1996)

Incremental querying in the concurrent CLP language IFD-Constraint Pandora. - Jimmy Ho-Man Lee; Ho-fung Leung (SAC, 1996)

Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language. - J. H. M. Lee; P. K. C. Pun (Comput. Lang., 1997)

A nurse rostering system using constraint programming and redundant modeling. - B. M. W. Cheng; Jimmy Ho-Man Lee; J. C. K. Wu (IEEE Trans. Inf. Technol. Biomed., 1997)

Performance of a Comprehensive and Efficient Constraint Library Based on Local Search. - Jimmy Ho-Man Lee; Ho-fung Leung; Hon-Wing Won (Australian Joint Conference on Artificial Intelligence, 1998)

Fuzzifying the Constraint Hierarchies Framework. - R. W. L. Kam; Jimmy Ho-Man Lee (CP, 1998)

An FPGA Implementation of GENET for Solving Graph Coloring Problems . - T. K. Lee; Philip Heng Wai Leong; K. H. Lee; K. T. Chan; Siew Kok Hui; H. K. Yeung; M. F. Lo; J. H. M. Lee (FCCM, 1998)

A Lagrangian reconstruction of a class of local search methods. - Kenneth M. F. Choi; Jimmy Ho-Man Lee; Peter J. Stuckey (ICTAI, 1998)

Extending HCLP with partially ordered hierarchies and composite constraints. - C. K. Chiu; J. H. M. Lee (J. Exp. Theor. Artif. Intell., 1998)

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. - Jimmy Ho-Man Lee; Ho-fung Leung (Comput. Lang., 1999)

Increasing Constraint Propagation by Redundant Modeling: an Experience Report. - B. M. W. Cheng; Kenneth M. F. Choi; Jimmy Ho-Man Lee; J. C. K. Wu (Constraints An Int. J., 1999)

Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems. - Xudong Luo; Ho-fung Leung; Jimmy Ho-Man Lee (IS, 2000)

Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints. - Xudong Luo; Ho-fung Leung; Jimmy Ho-Man Lee (ECAI, 2000)

A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. - Xudong Luo; Ho-fung Leung; Jimmy Ho-Man Lee (ICMAS, 2000)

A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. - Xudong Luo; Ho-fung Leung; Jimmy Ho-Man Lee (PRICAI, 2000)

A Lagrangian reconstruction of GENET. - Kenneth M. F. Choi; Jimmy Ho-Man Lee; Peter J. Stuckey (Artif. Intell., 2000)

Weighted/prioritized compensatory aggregation. - Xudong Luo; Ho-fung Leung; Jimmy Ho-Man Lee (EUSFLAT Conf., 2001)

A Spectrum of Compensation Aggregation Operators. - Xudong Luo; Ho-fung Leung; Jimmy Ho-Man Lee (FUZZ-IEEE, 2001)

Weighted/Prioritised Compensatory Aggregation. - Xudong Luo; Ho-fung Leung; Jimmy Ho-Man Lee (FUZZ-IEEE, 2001)

Reducing Search Space in Local Search for Constraint Satisfaction. - Hai Fang; Y. Kilani; Jimmy Ho-Man Lee; Peter J. Stuckey (AAAI/IAAI, 2002)

Model Induction: A New Source of CSP Model Redundancy. - Yat Chiu Law; Jimmy Ho-Man Lee (AAAI/IAAI, 2002)

Algebraic Properties of CSP Model Operators. - Yat Chiu Law; Jimmy Ho-Man Lee (CP, 2002)

A Real-Time Agent Architecture: Design, Implementation and Evaluation. - Jimmy Ho-Man Lee; Lei Zhao (PRIMA, 2002)

A Constraint-Based Interactive Train Rescheduling Tool. - C. K. Chiu; C. M. Chou; Jimmy Ho-Man Lee; Ho-fung Leung; Y. W. Leung (Constraints An Int. J., 2002)

Efficient Interval Linear Equality Solving in Constraint Logic Programming. - Chong-Kan Chiu; Jimmy Ho-Man Lee (Reliab. Comput., 2002)

Box Constraint Collections for Adhoc Constraints. - Chi Kan Cheng; Jimmy Ho-Man Lee; Peter J. Stuckey (CP, 2003)

Propagation Redundancy in Redundant Modelling. - Chiu Wo Choi; Jimmy Ho-Man Lee; Peter J. Stuckey (CP, 2003)

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. - Stefano Bistarelli; Philippe Codognet; Kin Chuen Hui; Jimmy Ho-Man Lee (IJCAI, 2003)

Efficient Representation of Adhoc Constraints. - Kenil C. K. Cheng; Jimmy Ho-Man Lee; Peter J. Stuckey (IJCAI, 2003)

Propagation Redundancy for Permutation Channels. - Chiu Wo Choi; Jimmy Ho-Man Lee; Peter J. Stuckey (IJCAI, 2003)

A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments. - Xudong Luo; Nicholas R. Jennings; Nigel Shadbolt; Ho-fung Leung; Jimmy Ho-Man Lee (Artif. Intell., 2003)

Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. - Xudong Luo; Jimmy Ho-Man Lee; Ho-fung Leung; Nicholas R. Jennings (Fuzzy Sets Syst., 2003)

Global Constraints for Integer and Set Value Precedence. - Yat Chiu Law; Jimmy Ho-Man Lee (CP, 2004)

A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. - Spencer K. L. Fung; Denny J. Zheng; Ho-fung Leung; Jimmy Ho-Man Lee; Hon Wai Chun (ICTAI, 2004)

Design Strategies and Principles in VISOLE. - Junjie Shang 001; Fong Lok Lee; Jimmy Ho-Man Lee (ICCE, 2005)

Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. - Chiu Wo Choi; Jimmy Ho-Man Lee (ICTAI, 2005)

Guided Complete Search for Nurse Rostering Problem. - Spencer K. L. Fung; Ho-fung Leung; Jimmy Ho-Man Lee (ICTAI, 2005)

Breaking value symmetries in matrix models using channeling constraints. - Yat Chiu Law; Jimmy Ho-Man Lee (SAC, 2005)

Weighted Constraint Satisfaction with Set Variables. - J. H. M. Lee; C. F. K. Siu (AAAI, 2006)

Finite Domain Bounds Consistency Revisited. - Chiu Wo Choi; Warwick Harvey; J. H. M. Lee; Peter J. Stuckey (Australian Conference on Artificial Intelligence, 2006)

Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling. - Yat Chiu Law; Jimmy Ho-Man Lee; May H. C. Woo (Australian Conference on Artificial Intelligence, 2006)

Learning Online: A Comparative Study of a Situated Game-Based Approach and a Traditional Web-Based Approach. - Morris Siu-Yung Jong; Junjie Shang 001; Fong Lok Lee; Jimmy Ho-Man Lee; Huk-Yuen Law (Edutainment, 2006)

Exploring the Fourth Dimension: The Design of a Multimedia Learning System for Generalization. - Fong Lok Lee; Jimmy Ho-Man Lee; Marti K. H. Wong; Huk-Yuen Law; L. Wang (Edutainment, 2006)

Design and Implementation of Farmtasia: A Game Designed for the VISOLE Teaching Style. - Eric T. H. Luk; Marti K. H. Wong; Kevin K. F. Cheung; Fong Lok Lee; J. H. M. Lee (Edutainment, 2006)

Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem. - Spencer K. L. Fung; Jimmy Ho-Man Lee; Ho-fung Leung (FLAIRS, 2006)

VISOLE: A New Game-based Situated Learning Paradigm. - Junjie Shang 001; Morris Siu-Yung Jong; Fong Lok Lee; Jimmy Ho-Man Lee (ICALT, 2006)

An Exploratory Study on Teachers' Perceptions of Game-based Situated Learning. - Morris Siu-Yung Jong; Junjie Shang 001; Fong Lok Lee; Jimmy Ho-Man Lee; Huk-Yuen Law (ICCE, 2006)

Using the "Record-Replay" Function for Elaboration of Knowledge in Educational Games. - Junjie Shang 001; Morris Siu-Yung Jong; Fong Lok Lee; Jimmy Ho-Man Lee; Marti K. H. Wong; Eric T. H. Luk; Kevin K. F. Cheung (ICCE, 2006)

Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. - Yat Chiu Law; Jimmy H. M. Lee (Constraints An Int. J., 2006)

Islands for SAT - Hai Fang; Y. Kilani; Jimmy Ho-Man Lee; Peter J. Stuckey (CoRR, 2006)

A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. - Yat Chiu Law; Jimmy Ho-Man Lee; May H. C. Woo (Australian Conference on Artificial Intelligence, 2007)

Solving the Salinity Control Problem in a Potable Water System. - Chiu Wo Choi; Jimmy Ho-Man Lee (CP, 2007)

Breaking Symmetry of Interchangeable Variables and Values. - Yat Chiu Law; Jimmy Ho-Man Lee; Toby Walsh; J. Y. K. Yip (CP, 2007)

A Pilot Study on Virtual Interactive Student-Oriented Learning Environment. - Junjie Shang 001; Morris Siu-Yung Jong; Fong Lok Lee; Jimmy Ho-Man Lee (DIGITEL, 2007)

Bibliographic Attributes Extraction with Layer-upon-Layer Tagging. - Wei Wei; Irwin King; J. H. M. Lee (ICDAR, 2007)

Measuring credibility of users in an e-learning environment. - Wei Wei; Jimmy Ho-Man Lee; Irwin King (WWW, 2007)

Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. - Yat Chiu Law; Jimmy Ho-Man Lee; Barbara M. Smith (Constraints An Int. J., 2007)

The island confinement method for reducing search space in local search methods. - Hai Fang; Y. Kilani; Jimmy Ho-Man Lee; Peter J. Stuckey (J. Heuristics, 2007)

Removing propagation redundant constraints in redundant modeling. - Chiu Wo Choi; Jimmy Ho-Man Lee; Peter J. Stuckey (ACM Trans. Comput. Log., 2007)

Using Posting Templates for Enhancing Students' Argumentative Elaborations in Learning Villages. - Morris Siu-Yung Jong; Alex W. C. Tse; Yuxia Zhou; Weiqin Chen 001; Fong-lok Lee; Jimmy Ho-Man Lee (DIGITEL, 2008)

VISOLE: An Example of Hybrid Learning. - Junjie Shang 001; Morris Siu-Yung Jong; Fong Lok Lee; Jimmy Ho-Man Lee (ICHL, 2008)

Stronger Consistencies in WCSPs with Set Variables. - Jimmy Ho-Man Lee; C. F. K. Siu (ICTAI (1), 2008)

An Analytical Study of Puzzle Selection Strategies for the ESP Game. - Ling-Jyh Chen; Bo-Chun Wang; Kuan-Ta Chen; Irwin King; Jimmy Ho-Man Lee (Web Intelligence, 2008)

An Analytical Approach to Optimizing the Utility of ESP Games. - Chien-Wei Lin; Kuan-Ta Chen; Ling-Jyh Chen; Irwin King; Jimmy Ho-Man Lee (Web Intelligence, 2008)

RATE: A Review of Reviewers in a Manuscript Review Process. - Wei Wei; Kam Tong Chan; Irwin King; Jimmy Ho-Man Lee (Web Intelligence, 2008)

Harnessing Computer Games in Education. - Morris Siu-Yung Jong; Junjie Shang 001; Fong Lok Lee; Jimmy Ho-Man Lee (Int. J. Distance Educ. Technol., 2008)

FARMTASIA: an online game-based learning environment based on the VISOLE pedagogy. - Kevin K. F. Cheung; Morris Siu-Yung Jong; Fong Lok Lee; Jimmy Ho-Man Lee; Eric T. H. Luk; Junjie Shang 001; Marti K. H. Wong (Virtual Real., 2008)

Variety Reasoning for Multiset Constraint Propagation. - Yat Chiu Law; Jimmy Ho-Man Lee; May H. C. Woo (IJCAI, 2009)

Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. - Jimmy Ho-Man Lee; Ka Lun Leung (IJCAI, 2009)

Solving finite domain constraint hierarchies by local consistency and tree search. - Stefano Bistarelli; Philippe Codognet; H. K. C. Hui; Jimmy Ho-Man Lee (J. Exp. Theor. Artif. Intell., 2009)

A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. - Jimmy Ho-Man Lee; Ka Lun Leung (AAAI, 2010)

A Case Study of a Non-gamer Student's Learning Process in VISOLE. - Morris S. Y. Jong; Fong-lok Lee; Jimmy Ho-Man Lee; Junjie Shang 001 (DIGITEL, 2010)

The Significance of Emotional Support to Students in Game-based Learning. - Morris S. Y. Jong; Junjie Shang 001; Fong Lok Lee; Jimmy H. M. Lee (ICCE, 2010)

Redundant modeling in permutation weighted constraint satisfaction problems. - Yat Chiu Law; Jimmy Ho-Man Lee; May H. C. Woo (Constraints An Int. J., 2010)

Using Posting Templates for Enhancing Students' Argumentative Elaborations in Computer-Supported Collaborative Inquiry Learning. - Morris Siu-Yung Jong; Weiqin Chen 001; Alex W. C. Tse; Fong-lok Lee; Jimmy Ho-Man Lee (Res. Pract. Technol. Enhanc. Learn., 2010)

An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment. - Morris S. Y. Jong; Junjie Shang 001; Fong-lok Lee; Jimmy Ho-Man Lee (IEEE Trans. Learn. Technol., 2010)

A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. - Yat Chiu Law; Jimmy Ho-Man Lee; May Hiu-Chun Woo; Toby Walsh (AAAI, 2011)

A Case Study of an Academic Achievement-oriented Student in Game-based Learning. - Morris S. Y. Jong; Fong-lok Lee; Jimmy Ho-Man Lee; Junjie Shang 001 (ICALT, 2011)

A Case Study of a Gamer-student in Game-based Learning. - Morris S. Y. Jong; Junjie Shang 001; Jimmy H. M. Lee (ICCE, 2011)

Weighted Constraint Satisfaction Problems with Min-Max Quantifiers. - Jimmy Ho-Man Lee; Terrence W. K. Mak; Justin Yip (ICTAI, 2011)

Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction. - J. H. M. Lee; Yu Wai Shum (ICTAI, 2011)

Constraint Programming on Infinite Data Streams. - Arnaud Lallouet; Yat Chiu Law; Jimmy Ho-Man Lee; Charles F. K. Siu (IJCAI, 2011)

Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction. - Jimmy Ho-Man Lee; Ka Lun Leung; Yi Wu (AAAI, 2012)

Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. - Arnaud Lallouet; Jimmy Ho-Man Lee; Terrence W. K. Mak (CP, 2012)

Increasing Symmetry Breaking by Preserving Target Symmetries. - Jimmy Ho-Man Lee; Jingying Li (CP, 2012)

An Integrated GPS-supported Outdoor Exploratory Educational System - EagleEye. - Morris S. Y. Jong; Eric T. H. Luk; Jimmy H. M. Lee (ICCE, 2012)

Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs. - Jimmy Ho-Man Lee; Ka Lun Leung; Yu Wai Shum (ICTAI, 2012)

A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs. - Jimmy Ho-Man Lee; Terrence W. K. Mak (ICTAI, 2012)

Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction. - Jimmy Ho-Man Lee; Ka Lun Leung (J. Artif. Intell. Res., 2012)

Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. - Patricia Gutierrez; Jimmy Ho-Man Lee; Ka Man Lei; Terrence W. K. Mak; Pedro Meseguer (CP, 2013)

A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. - Jimmy Ho-Man Lee; Terrence W. K. Mak; Yuxiang Shi (ICTAI, 2013)

Multiset variable representations and constraint propagation. - Yat Chiu Law; Jimmy Ho-Man Lee; Toby Walsh; May H. C. Woo (Constraints An Int. J., 2013)

Boosting SBDS for Partial Symmetry Breaking in Constraint Programming. - Jimmy H. M. Lee; Zichen Zhu (AAAI, 2014)

Removing redundant conflict value assignments in resolvent based nogood learning. - Jimmy Ho-Man Lee; Yuxiang Shi (AAMAS, 2014)

Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. - Simon de Givry; Jimmy Ho-Man Lee; Ka Lun Leung; Yu Wai Shum (CP, 2014)

Towards Practical Infinite Stream Constraint Programming: Applications and Implementation. - Jasper C. H. Lee; Jimmy H. M. Lee (CP, 2014)

An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search. - Jimmy H. M. Lee; Zichen Zhu (CP, 2014)

Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. - Jimmy Ho-Man Lee; Ka Lun Leung; Yu Wai Shum (Constraints An Int. J., 2014)

Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search. - Jimmy H. M. Lee; Zichen Zhu (IJCAI, 2015)

Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction. - Arnaud Lallouet; Jimmy Ho-Man Lee; Terrence W. K. Mak; Justin Yip (Constraints An Int. J., 2015)

Adding laziness in BnB-ADOPT+. - Jimmy Ho-Man Lee; Pedro Meseguer; Wen Su (Constraints An Int. J., 2015)

Tractability and Decompositions of Global Cost Functions. - David Allouche; Christian Bessiere; Patrice Boizumault; Simon de Givry; Patricia Gutierrez; Jimmy H. M. Lee; Ka Lun Leung; Samir Loudni; Jean-Philippe Métivier; Thomas Schiex; Yi Wu (CoRR, 2015)

Increasing Nogoods in Restart-Based Search. - Jimmy H. M. Lee; Christian Schulte 001; Zichen Zhu (AAAI, 2016)

Breaking More Composition Symmetries Using Search Heuristics. - Jimmy H. M. Lee; Zichen Zhu (AAAI, 2016)

Static Symmetry Breaking with the Reflex Ordering. - Jimmy H. M. Lee; Zichen Zhu (IJCAI, 2016)

Tractability-preserving transformations of global cost functions. - David Allouche; Christian Bessiere; Patrice Boizumault; Simon de Givry; Patricia Gutierrez; Jimmy H. M. Lee; Ka Lun Leung; Samir Loudni; Jean-Philippe Métivier; Thomas Schiex; Yi Wu (Artif. Intell., 2016)

Iterative AWC for Distributed SAT. - Jesús Giráldez-Cru; Jimmy H. M. Lee; Pedro Meseguer (CCIA, 2017)

Towards breaking more composition symmetries in partial symmetry breaking. - Jimmy H. M. Lee; Zichen Zhu (Artif. Intell., 2017)

Augmenting Stream Constraint Programming with Eventuality Conditions. - Jasper C. H. Lee; Jimmy H. M. Lee; Allen Z. Zhong (CP, 2018)

Teaching Constraint Programming Using Fable-Based Learning. - Mavis Chan; Cecilia Chun; Holly Fung; Jimmy H. M. Lee; Peter J. Stuckey (AAAI, 2020)

Automatic Dominance Breaking for a Class of Constraint Optimization Problems. - Jimmy Ho-Man Lee; Allen Z. Zhong (IJCAI, 2020)

Towards More Practical and Efficient Automatic Dominance Breaking. - Jimmy H. M. Lee; Allen Z. Zhong (AAAI, 2021)

From MOOC to SPOC: Fable-Based Learning. - Jimmy H. M. Lee (ICBL, 2021)

Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize. - Xinyi Hu; Jasper C. H. Lee; Jimmy H. M. Lee; Allen Z. Zhong (NeurIPS, 2022)

iExam: A Novel Online Exam Monitoring and Analysis System Based on Face Detection and Recognition. - Xu Yang; Daoyuan Wu; Xiao Yi; Jimmy H. M. Lee; Tan Lee 001 (CoRR, 2022)

Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints. - Xinyi Hu; Jasper C. H. Lee; Jimmy H. M. Lee (AAAI, 2023)

Finding Good Partial Assignments during Restart-Based Branch and Bound Search. - Hongbo Li; Jimmy H. M. Lee (AAAI, 2023)

A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk). - Jimmy H. M. Lee (CP, 2023)

Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. - Xinyi Hu; Jasper C. H. Lee; Jimmy H. M. Lee (CPAIOR, 2023)

Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints. - Xinyi Hu; Jasper C. H. Lee; Jimmy Ho-Man Lee (NeurIPS, 2023)

Two-Stage Predict+Optimize for Mixed Integer Linear Programs with Unknown Parameters in Constraints. - Xinyi Hu; Jasper C. H. Lee; Jimmy H. M. Lee (CoRR, 2023)

Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. - Jimmy H. M. Lee; Allen Z. Zhong (J. Artif. Intell. Res., 2023)

Automatic generation of dominance breaking nogoods for a class of constraint optimization problems. - Jimmy H. M. Lee; Allen Z. Zhong (Artif. Intell., 2023)

Indoor Hydroponics Robot System for Automated Seeding and Logistics. - Hon Kit Hui; Jimmy H. M. Lee; Anthony K. W. Sum; Darwin Lau (ICCA, 2024)

Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs. - Xinyi Hu; Jasper C. H. Lee; Jimmy H. M. Lee; Peter J. Stuckey (NeurIPS, 2024)

Transition Dominance in Domain-Independent Dynamic Programming. - J. Christopher Beck; Ryo Kuroiwa 002; Jimmy H. M. Lee; Peter J. Stuckey; Allen Z. Zhong (CP, 2025)