Sign in

Program Verification using Constraint Handling Rules and Array Constraint Generalizations.

Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio Proietti
Published in: Fundam. Informaticae (2017)
Keyphrases
  • constraint handling rules
  • database
  • genetic algorithm
  • artificial intelligence
  • data sets
  • decision making
  • lower bound
  • probabilistic model
  • soft constraints
  • linear array