Extending Ravenscar with CSP Channels.

Diyaa-Addein Atiya Steve King

Published in: Ada-Europe (2005)

Keyphrases

constraint satisfaction problems
constraint satisfaction
decomposition methods
multi channel
arc consistency
knowledge base
constraint programming
constraint propagation
tree decomposition
image segmentation
optimal solution