Maximal infinite-valued constraint languages.

Manuel Bodirsky Hubie Chen Jan Kára Timo von Oertzen

Published in: Theor. Comput. Sci. (2009)

Keyphrases

constraint language
regular languages
expressive power
databases
language independent
global constraints
linear constraints
multi valued
database
case study
text summarization
target language
constrained minimization
linear arithmetic constraints