On the Usefulness of Linear Modular Arithmetic in Constraint Programming.

Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi

Browse the full CPAIOR paper archive.