Compiling Constraint Solving using Projection.

Warwick Harvey Peter J. Stuckey Alan Borning

Published in: CP (1997)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
projection method
finite domain
constraint solvers
image sequences
mobile robot
spatial information