Algorithm for imposing SOBI-type constraints on the CP model | IEEE Conference Publication | IEEE Xplore