Decomposition During Search for Propagation-Based Constraint Solvers

Martin Mann Guido Tack Sebastian Will

Published in: CoRR (2007)

Keyphrases

search algorithm
set bounds propagation
search space
constraint solver
search strategy
constraint solvers
search engine
search methods