On the usefulness of linear modular arithmetic in constraint programming
scientific article; zbMATH DE number 7493633