Bodirsky, M., Martin, B., & Mottet, A. (2015, July). Constraint Satisfaction Problems over the Integers with Successor. Presented at Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I, Kyoto, Japan