Optimising Quantified Expressions in Constraint Models

Ian Philip Gent, Ian James Miguel, Andrea Rendl

Research output: Other contribution

1 results

Filter

Finished
EPSRC Refinement-driven Transformation: Refinement-driven transformation for effective automatedconstraint modelling
Miguel, I. J. (PI) & Gent, I. P. (CoI)
EPSRC
27/09/06 → 26/09/09
Project: Standard