Lazy Exploration and Checking of CSP Models with CSPsim.

Phillip J. Brooke Richard F. Paige

Published in: CPA (2007)

Keyphrases

probabilistic model
neural network
machine learning
model selection
constraint satisfaction problems
complex systems
statistical models
autoregressive
information retrieval
artificial neural networks
mobile robot
experimental data
mathematical models
constraint propagation