On the Usefulness of Linear Modular Arithmetic in Constraint Programming. - Gilles Pesant; Kuldeep S. Meel; Mahshid Mohammadalitajrishi (CPAIOR, 2021)