Projects per year
| Date made available | 2021 |
|---|---|
| Publisher | GitHub |
Software
- Software
Projects
- 3 Finished
-
-
A Learning, Optimising Compiler: A Learning, Optimising Compiler for Computational Group Theory
Jefferson, C. (PI)
1/10/18 → 28/02/22
Project: Fellowship
-
Working Together in ICT: Working Together: Constraint Programming and Cloud Computing
Miguel, I. (PI) & Barker, A. (CoI)
1/01/13 → 30/09/16
Project: Standard
Research output
- 1 Conference contribution
-
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
Open AccessFile