Keyword:constraint decomposition

Publications
A Modelling Pearl with Sortedness Constraints Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'Homme In:GCAI 2015. Global Conference on Artificial Intelligence