Sequential and parallel solution-biased search for subgraph algorithms

Archibald, B., Dunlop, F., Hoffmann, R., McCreesh, C., Prosser, P. & Trimble, J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham: Springer, p. 20-38 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11494 LNCS).

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

Memory consistency models using constraints

Akgün, Ö., Hoffmann, R. & Sarkar, S., 27 Aug 2018, The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 16 p.

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

Observations from parallelising three maximum common (Connected) subgraph algorithms

Hoffmann, R., McCreesh, C., Ndiaye, S. N., Prosser, P., Reilly, C., Solnon, C. & Trimble, J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings. van Hoeve, W-J. (ed.). Cham: Springer, p. 298-315 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10848).

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