Automated reformulation of specifications by safe delay of constraints.

Marco Cadoli Toni Mancini

Published in: Artif. Intell. (2006)

Keyphrases

semi automated
fully automated
constrained optimization
databases
artificial intelligence
case study
automated analysis
critical path
genetic algorithm
information systems
high level
image sequences
sufficient conditions
constraint satisfaction
semantic constraints