Dr Nguyen Dang
Senior Research Fellow
Selected publications
-
Open access
A framework for generating informative benchmark instances
Dang, N., Akgun, O., Espasa Arxer, J., Miguel, I. J. & Nightingale, P., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
A portfolio-based analysis method for competition results
Dang, N., 31 Jul 2022, ModRef 2022 - The 21st workshop on Constraint Modelling and Reformulation. 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Theory-inspired parameter control benchmarks for dynamic algorithm configuration
Biedenkapp, A., Dang, N., Krejca, M., Hutter, F. & Doerr, C., 8 Jul 2022, GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. Fieldsend, J. E. (ed.). ACM, p. 766–775 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Discriminating instance generation from abstract specifications: a case study with CP and MIP
Akgün, Ö., Dang, N., Miguel, I., Salamon, A. Z., Spracklen, P. & Stone, C., 2020, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings. Hebrard, E. & Musliu, N. (eds.). Cham: Springer, p. 41-51 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12296 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Efficient incremental modelling and solving
Koçak, G., Akgün, Ö., Dang, N. & Miguel, I., 7 Sep 2020, ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Exploring instance generation for automated planning
Akgün, Ö., Dang, N., Espasa, J., Miguel, I., Salamon, A. Z. & Stone, C., 7 Sep 2020, ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Towards portfolios of streamlined constraint models: a case study with the balanced academic curriculum problem
Spracklen, P., Dang, N., Akgün, Ö. & Miguel, I., 7 Sep 2020, ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
A combined approach for analysing heuristic algorithms
Jeroen Corstjens, Dang, N., Depaire, B., Caris, A. & De Causmaeckers, P., 1 Oct 2019, In: Journal of Heuristics. 25, 10, p. 591–628 38 p.Research output: Contribution to journal › Article › peer-review
-
Open access
Athanor: high-level local search over abstract constraint specifications in Essence
Attieh, S., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 2019, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Springer, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11802 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution