Peter Tiedemann Henrik Reif Andersen Rasmus Pagh Generic Global Constraints based on MDDs http://arxiv.org/abs/cs/0702170 2007 CoRR abs/cs/0702170 db/journals/corr/corr0702.html#abs-cs-0702170 informal publication