On the Complexity of Linear Arithmetic with Divisibility.

Antonia Lechner, Jol Ouaknine, James Worrell

Browse the full LICS paper archive.