Dominion: an architecture-driven approach to generating efficient constraint solvers

Dharini Balasubramaniam, Lakshitha Ramesh De Silva, Christopher Anthony Jefferson, Lars Kotthoff, Ian James Miguel, Peter Nightingale

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

1 results

Filter

Finished
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