Compositional CSP Traces Refinement Checking.

Heike Wehrheim Daniel Wonisch

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

constraint satisfaction problems
decomposition methods
arc consistency
search space
constraint programming
constraint propagation
step wise
np complete
constraint satisfaction
constraint networks
constraint solving
tree decomposition
data mining
non binary