Automated Reformulation of Specifications by Safe Delay of Constraints.
Marco CadoliToni ManciniPublished in: KR (2004)
Keyphrases
- global constraints
- delay insensitive
- semantic constraints
- information retrieval
- automated analysis
- semi automated
- constrained optimization
- constraint satisfaction
- formal specification
- constraint programming
- linear program
- database
- wireless networks
- programming language
- case study
- search engine
- artificial intelligence
- databases
- real time