Feydy, Stuckey, 2008. Propagating systems of dense linear integer constraints 14.. https://doi.org/10.1007/s10601-008-9049-9