Polynomial Constraints for Sets with Cardinality Bounds.

Bruno Marnette Viktor Kuncak Martin C. Rinard

Published in: FoSSaCS (2007)

Keyphrases

lower bound
lower and upper bounds
cardinality constraints
constraint sets
linear constraints
upper bound
real time
genetic algorithm
clustering algorithm
special case
constraint satisfaction
integrity constraints
geometric constraints