Login / Signup
Program Verification using Constraint Handling Rules and Array Constraint Generalizations.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
CILC (2014)
Keyphrases
</>
constraint handling rules
linear constraints
databases
database
artificial intelligence
three dimensional
image sequences
programmable logic
constrained minimization