Generating custom propagators for arbitrary constraints

I.P. Gent, C. Jefferson, S. Linton, I. Miguel, P. Nightingale

Research output: Contribution to journal › Article › peer-review

3 results

Filter

Finished
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
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)
EPSRC
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)
EPSRC
1/07/07 → 31/03/11
Project: Standard