Implementing logical connectives in constraint programming

Christopher Anthony Jefferson, Neil Charles Armour Moore, Peter Nightingale, Karen E. Petrie

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

4 results

Filter

Finished
A Constraint Solver Synthesiser: A Constraint Solver Synthesiser
Miguel, I. (PI), Balasubramaniam, D. (CoI), Gent, I. (CoI), Kelsey, T. (CoI) & Linton, S. (CoI)
EPSRC
1/10/09 → 30/09/14
Project: Standard
EPSRC: Watched Literals and Learning: Watched Literals and Learning for Constraint Programming
Gent, I. (PI) & Miguel, I. (CoI)
EPSRC
1/07/07 → 31/03/11
Project: Standard
EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications
Ruskuc, N. (PI) & Quick, M. (CoI)
EPSRC
1/09/05 → 31/08/10
Project: Standard
EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications
Linton, S. (PI), Gent, I. (CoI), Leonhardt, U. (CoI), Mackenzie, A. (CoI), Miguel, I. (CoI), Quick, M. (CoI) & Ruskuc, N. (CoI)
EPSRC
1/09/05 → 31/08/10
Project: Standard