A review of literature on parallel constraint solving

Ian Philip Gent, Ian James Miguel, Peter William Nightingale, Ciaran McCreesh, Patrick Prosser, Neil Moore, Chris Unsworth

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

3 results

Filter

Finished
Modelling and Optimisation with Graphs: Modelling and Optimisation with Graphs
Jefferson, C. (PI) & Akgun, O. (CoI)
EPSRC
1/07/17 → 31/10/20
Project: Standard
Combining Constraints and Verification: Combining Constraints and Verification
Jefferson, C. (PI)
EPSRC
31/07/14 → 30/07/17
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