Towards reformulating Essence specifications for robustness (code)

Ozgur Akgun (Creator)

Dataset

3 Finished

3 results

Filter

Finished
Keep Learning: Keep Learning
Miguel, I. J. (PI)
EPSRC
1/07/21 → 31/12/24
Project: Standard
A Learning, Optimising Compiler: A Learning, Optimising Compiler for Computational Group Theory
Jefferson, C. A. (PI)
The Royal Society
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)
EPSRC
1/01/13 → 30/09/16
Project: Standard