Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

Peter Nightingale, Patrick Spracklen, Ian James Miguel

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

3 results

Finished
Combining Constraints and Verification: Combining Constraints and Verification
Jefferson, C. A. (PI)
EPSRC
31/07/14 → 30/07/17
Project: Standard
Working Together in ICT: Working Together: Constraint Programming and Cloud Computing
Miguel, I. J. (PI) & Barker, A. D. (CoI)
EPSRC
1/01/13 → 30/09/16
Project: Standard
A Constraint Solver Synthesiser: A Constraint Solver Synthesiser
Miguel, I. J. (PI), Balasubramaniam, D. (CoI), Gent, I. P. (CoI), Kelsey, T. (CoI) & Linton, S. A. (CoI)
EPSRC
1/10/09 → 30/09/14
Project: Standard