Bessiere, C.; Paparrizou, A.; Stergiou, K. Strong Bounds Consistencies and Their Application to Linear Constraints. AAAI 2015, 29.