An Animator for CSP Implemented in HOPE.

L. D. Natanson W. B. Samson

Published in: Specification and Verification of Concurrent Systems (1988)

Keyphrases

constraint satisfaction problems
constraint propagation
machine learning
social networks
image processing
website
bayesian networks
search algorithm
lower bound
heuristic search