Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving.

Éric Monfroy Carlos Castro Broderick Crawford

Published in: ADVIS (2006)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
adaptive strategies
constraint programming
search space
dynamic programming
optimal strategy
low level
constraint solvers