Branching: the Essence of Constraint Solving

Antonio J. Fernández Patricia M. Hill

Published in: CoRR (2001)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction
constraint satisfaction problems
constraint solver
branch and bound
search tree
constraint solvers
finite domain
constraint programming
dynamic programming
logic programs
temporal constraints
tree search