Alcoa: the alloy constraint analyzer.

Daniel Jackson Ian Schechter Ilya Shlyakhter

Published in: ICSE (2000)

Keyphrases

neural network
soft constraints
machine learning
genetic algorithm
learning algorithm
database systems
expert systems
medical images
data processing
data acquisition
global constraints
linear constraints
consistency constraints
mechanical properties