Enhancing Group Search with Graph Techniques

Hoffmann, Ruth (PI)

School of Computer Science

Project: Standard

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

Funding

EPSRC: £165,165.00

1 Paper
1 Article

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
Towards Understanding Differences Between Modelling Pipelines: a Modelers Perspective
Balogh, C., Hoffmann, R. & Espasa Arxer, J., 2 Sept 2024.
Research output: Contribution to conference › Paper › peer-review

1 Participation in or organising a workshop, seminar, course

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

stacs-cp/composable-permutation-patterns (All versions)
Akgun, O. (Creator) & Hoffmann, R. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.10215928
Dataset: Software
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