Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi. On the Usefulness of Linear Modular Arithmetic in Constraint Programming. In Peter J. Stuckey, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings. Volume 12735 of Lecture Notes in Computer Science, pages 248-265, Springer, 2021. [doi]
Abstract is missing.