Login / Signup
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
VPT@CAV (2014)
Keyphrases
</>
constraint handling rules
machine learning
high speed
database
constraint networks
penalty function
constraint satisfaction
covering arrays
constrained minimization
constraint language
constraint solving
consistency constraints
artificial neural networks
bayesian networks
knowledge base
genetic algorithm
data sets