Enhancing Group Search with Graph Techniques

Project: Standard

Acronym	Enhancing Group Search with Graph Tech
Status	Finished
Effective start/end date	1/12/23 → 30/11/25

Breaking the symmetries of indistinguishable objects
Akgun, O., Chang, M. S., Gent, I. P. & Jefferson, C. A., 2025, Integration of constraint programming, artificial intelligence, and operations research: 22nd international conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, proceedings, Part I. Tack, G. (ed.). Cham: Springer, p. 152-168 (Lecture notes in computer science; vol. 15762).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Composable constraint models for permutation enumeration
Hoffmann, R., Akgun, O. & Jefferson, C., 22 Jan 2025, In: Discrete Mathematics & Theoretical Computer Science. 26, 1, 25 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Symmetry breaking in the subgraph isomorphism problem
Loughney, J., Hoffmann, R., Chang, M. S. & McCreesh, C., 10 Aug 2025, p. 1-10. 10 p.
Research output: Contribution to conference › Paper › peer-review

Open Access

GAP Days 2024
Hoffmann, R. (Organiser), Chang, M. S. (Organiser) & Young, M. (Organiser)
26 Aug 2024 → 30 Aug 2024
Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course

Automata
Delgado, M. (Creator), Hoffmann, R. (Contributor), Linton, S. A. (Creator) & Morais, J. J. (Creator), GAP - Groups, Algorithms, Programming, 2025
https://gap-packages.github.io/automata/
Dataset: Software
stacs-cp/composable-permutation-patterns (All versions)
Akgun, O. (Creator) & Hoffmann, R. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.10215928
Dataset: Software

Project Details