C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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