Behavioural Extension for CSP.

Michael J. Butler

Published in: VDM Europe (1) (1991)

Keyphrases

constraint satisfaction problems
constraint satisfaction
arc consistency
decomposition methods
tree decompositions
database
computational complexity
expert systems
special case
linear programming
tree decomposition