The complexity of global cardinality constraints

Andrei A. Bulatov Dániel Marx

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

cardinality constraints
quantifier elimination
boolean algebra
computational complexity
constraint query languages
data model
tabu search
inference rules
space complexity
domain knowledge
expressive power
integrity constraints