TY - RPRT TI - The complexity of disjunctive linear Diophantine constraints AU - Manuel Bodirsky AU - Barnaby Martin AU - Marcello Mamino AU - Antoine Mottet PY - 2018 UR - https://arxiv.org/abs/1807.00985 ID - 1807.00985 ER -