A Benders decomposition approach to deciding modular linear integer arithmetic
scientific article; zbMATH DE number 6807238