Project Details
| Acronym | A Learning, Optimising Compiler |
|---|---|
| Status | Finished |
| Effective start/end date | 1/10/18 → 28/02/22 |
Funding
- The Royal Society: £205,733.61
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Perfect refiners for permutation group backtracking algorithms
Jefferson, C., Waldecker, R. & Wilson, W. A., 1 Jan 2023, In: Journal of Symbolic Computation. 114, p. 18-36 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Computing normalisers of intransitive groups
Chang, M. S., Jefferson, C. A. & Roney-Dougal, C. M., 1 Sept 2022, In: Journal of Algebra. 605, p. 429-458 30 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Permutation group algorithms based on directed graphs
Jefferson, C., Pfeiffer, M., Wilson, W. A. & Waldecker, R., 1 Nov 2021, In: Journal of Algebra. 585, p. 723-758 36 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Datasets
-
Towards reformulating Essence specifications for robustness (code)
Akgun, O. (Creator), GitHub, 2021
https://github.com/stacs-cp/ModRef2021-robustness
Dataset: Software