Personal profile
Research area keywords
- combinatorial optimisation
- constraint programming
- machine learning
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
NLCG: Huub: Next-Gen Lazy Clause Generation
Stuckey, P. (Primary Chief Investigator (PCI)), Ignatiev , A. (Chief Investigator (CI)), Dekker, J. (Associate Investigator (AI)) & Zhong, A. (Associate Investigator (AI))
14/04/25 → 13/04/26
Project: Research
-
Towards Modern and Modular SAT for LCG
Dekker, J. J., Ignatiev, A., Stuckey, P. J. & Zhong, A. Z., 2025, 31st International Conference on Principles and Practice of Constraint Programming. de la Banda, M. G. (ed.). Saarbrücken/Wadern, Germany: Schloss Dagstuhl, 12 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 340).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile -
Transition Dominance in Domain-Independent Dynamic Programming
Beck, J. C., Kuroiwa, R., Lee, J. H. M., Stuckey, P. J. & Zhong, A. Z., 2025, 31st International Conference on Principles and Practice of Constraint Programming. de la Banda, M. G. (ed.). Saarbrücken/Wadern, Germany: Schloss Dagstuhl, 23 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 340).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile -
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
Lee, J. H. M. & Zhong, A. Z., Oct 2023, In: Artificial Intelligence. 323, 28 p., 103974.Research output: Contribution to journal › Article › Research › peer-review
2 Link opens in a new tab Citations (Scopus) -
Exploiting functional constraints in automatic dominance breaking for constraint optimization
Lee, J. H. M. & Zhong, A. Z., 13 Sept 2023, In: Journal of Artificial Intelligence Research. 78, 78, 35 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus) -
Branch & Learn for recursively and iteratively solvable problems in Predict+Optimize
Hu, X., Lee, J. C. H., Lee, J. H. M. & Zhong, A. Z., 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K. & Oh, A. (eds.). San Diego CA USA: Neural Information Processing Systems (NIPS), 11 p. (Advances in Neural Information Processing Systems; vol. 35).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)