Testing for Refinement in CSP.

Ana Cavalcanti Marie-Claude Gaudel

Published in: ICFEM (2007)

Keyphrases

constraint satisfaction problems
constraint satisfaction
special case
constraint propagation
data sets
tree decompositions
arc consistency
neural network
databases
image segmentation
case study
np hard
np complete
knowledge base
test data
machine learning
constraint programming
statistical tests
real time