Integrating Strong Local Consistencies into Constraint Solvers.

Julien Vion Thierry Petit Narendra Jussien

Published in: CSCLP (2009)

Keyphrases

constraint solvers
constraint satisfaction problems
constraint programming
constraint solving
constraint solver
constraint propagation
combinatorial problems
search space
constraint satisfaction
arc consistency
upper bound
constraint networks
non binary