Automatic Generation of Implied Constraints

John Charnley
, Simon Colton
, Ian Miguel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
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