Greger Ottosson Erlendur S. Thorsteinsson John N. Hooker Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. 32-53 2000 4 Electronic Notes in Discrete Mathematics http://dx.doi.org/10.1016/S1571-0653(05)80104-0 db/journals/endm/endm4.html#OttossonTH00