Razakarison, N., Carlsson, M., Beldiceanu, N., & Simonis, H. (2021). GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. Proceedings of the International Symposium on Combinatorial Search, 4(1), 149–157. https://doi.org/10.1609/socs.v4i1.18280