Bodirsky, Manuel, Mamino, Marcello, Martin, Barnaby, Mottet, Antoine, "The complexity of disjunctive linear Diophantine constraints", , 2018