Towards reformulating Essence specifications for robustness

Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I., Nightingale, P. & Salamon, A. Z., 25 Oct 2021, ModRef 2021 - The 20th workshop on Constraint Modelling and Reformulation (ModRef). 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Finding subgraphs with side constraints

Akgün, Ö., Enright, J., Jefferson, C., McCreesh, C., Prosser, P. & Zschaler, S., 5 Jul 2021, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Proceedings. Stuckey, P. J. (ed.). Cham: Springer, p. 348-364 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12735 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution