JSD Expressed in CSP.

K. T. Sridhar C. A. R. Hoare

Published in: Data Types and Persistence (Appin), Informal Proceedings (1985)

Keyphrases

constraint satisfaction problems
constraint satisfaction
decomposition methods
constraint programming
tree decomposition
arc consistency algorithm
constraint propagation
databases
learning algorithm
computer vision
artificial neural networks
real numbers
hypertree decomposition