N. Razakarison, M. Carlsson, N. Beldiceanu, and H. Simonis, “GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials”, SOCS, vol. 4, no. 1, pp. 149–157, Aug. 2021.