Counter Abstraction in the CSP/FDR setting.

Tomasz Mazur Gavin Lowe

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

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
data sets
information systems
constraint programming
tree decomposition
databases
real world
information retrieval
multi agent
search space
np hard
error rate
decomposition methods
constraint solving