Generalized support and formal development of constraint propagators

James Lynn Caldwell
, Ian Philip Gent
, Peter William Nightingale

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

1 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