Solving quantified constraint satisfaction problems

Ian Philip Gent, Peter Nightingale, Andrew Rowley, Kostas Stergiou

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
EPSRC: Watched Literals and Learning: Watched Literals and Learning for Constraint Programming
Gent, I. P. (PI) & Miguel, I. J. (CoI)
EPSRC
1/07/07 → 31/03/11
Project: Standard