Projects per year
Search results
-
Finished
IAA 2017-2020 I Miguel: Releasing Conjure: The Automated Constraint Modelling Tool
Miguel, I. J. (PI) & Gent, I. P. (CoI)
1/06/17 → 31/10/17
Project: Standard
-
Releasing Conjecture: Releasing Conjecture: The Automated Constraint Modelling Tool
Gent, I. P. (PI) & Miguel, I. J. (CoI)
1/01/16 → 31/03/17
Project: Standard
-
Constraint Solving for Intelligent Web: Constraint Solving for an Intelligent Web
Miguel, I. J. (PI)
1/07/14 → 30/06/15
Project: Standard
-
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
-
A Constraint Solver Synthesiser: A Constraint Solver Synthesiser
Miguel, I. J. (PI), Balasubramaniam, D. (CoI), Gent, I. P. (CoI), Kelsey, T. (CoI) & Linton, S. A. (CoI)
1/10/09 → 30/09/14
Project: Standard
-
EPSRC: Watched Literals and Learning: Watched Literals and Learning for Constraint Programming
Gent, I. P. (PI) & Miguel, I. J. (CoI)
1/07/07 → 31/03/11
Project: Standard
-
EPSRC Refinement-driven Transformation: Refinement-driven transformation for effective automatedconstraint modelling
Miguel, I. J. (PI) & Gent, I. P. (CoI)
27/09/06 → 26/09/09
Project: Standard
-
EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications
Linton, S. A. (PI), Gent, I. P. (CoI), Leonhardt, U. (CoI), Mackenzie, A. (CoI), Miguel, I. J. (CoI), Quick, M. (CoI) & Ruskuc, N. (CoI)
1/09/05 → 31/08/10
Project: Standard