Razakarison, Naina, et al. “GAC for a Linear Inequality and an Atleast Constraint With an Application to Learning Simple Polynomials”. Proceedings of the International Symposium on Combinatorial Search, vol. 4, no. 1, Aug. 2021, pp. 149-57, doi:10.1609/socs.v4i1.18280.