Compiling CSP.

Fred R. M. Barnes

Published in: CPA (2006)

Keyphrases

constraint satisfaction problems
decomposition methods
constraint satisfaction
constraint propagation
constraint programming
tree decompositions
arc consistency
tree decomposition
constraint networks
arc consistency algorithm
lower bound
np complete
constraint graph
solving constraint satisfaction problems