QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems.

Ian P. Gent Peter Nightingale Kostas Stergiou

Published in: IJCAI (2005)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
constraint programming
conformant planning
constraint solving