A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation).

Mark H. Liffiton Jordyn C. Maglalang

Published in: SAT (2012)

Keyphrases

constraint solver
cardinality constraints
constraint solving
linear constraints
constraint programming
database
information systems
data analysis
constraint satisfaction
invited talk
hard constraints
program committee
poster presentation