GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. - Naina Razakarison; Mats Carlsson; Nicolas Beldiceanu; Helmut Simonis (SOCS, 2013)