Maximal Infinite-Valued Constraint Languages.
Manuel BodirskyHubie ChenJan KáraTimo von OertzenPublished in: ICALP (2007)
Keyphrases
- constraint language
- expressive power
- linear arithmetic constraints
- regular languages
- databases
- soft constraints
- text summarization
- language independent
- cross lingual
- database
- linear constraints
- penalty function
- statistical machine translation
- constraint solving
- multi lingual
- machine learning
- object oriented languages
- integer points