Projects per year
Date made available | 2021 |
---|---|
Publisher | GitHub |
Software
- Software
-
-
A Learning, Optimising Compiler: A Learning, Optimising Compiler for Computational Group Theory
Jefferson, C. A. (PI)
1/10/18 → 28/02/22
Project: Fellowship
-
Working Together in ICT: Working Together: Constraint Programming and Cloud Computing
Miguel, I. J. (PI) & Barker, A. D. (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