Generic Global Constraints based on MDDs

Peter Tiedemann Henrik Reif Andersen Rasmus Pagh

Published in: CoRR (2007)

Keyphrases

global constraints
knowledge compilation
constraint programming
constraint satisfaction problems
integer programming
weighted constraint satisfaction
domain specific
constraint propagation
arc consistency
fixed parameter tractable
upper bound