Exploiting short supports for improved encoding of arbitrary constraints into SAT

Özgür Akgün, Ian Philip Gent, Christopher Anthony Jefferson, Ian James Miguel, Peter William Nightingale

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

4 results

Filter

Finished
Combining Constraints and Verification: Combining Constraints and Verification
Jefferson, C. A. (PI)
EPSRC
31/07/14 → 30/07/17
Project: Standard
University Research Fellowship 2013: University Research Fellowship 2013
Jefferson, C. A. (PI)
The Royal Society
1/10/13 → 30/09/18
Project: Fellowship
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