Bodirsky, ManuelManuelBodirskyMartin, BarnabyBarnabyMartinMottet, AntoineAntoineMottet2022-03-242022-03-242015-0742nd International Colloquium on Automata, Languages and Programming (ICALP 2015)http://hdl.handle.net/11420/12097A distance constraint satisfaction problem is a constraint satisfaction problem (CSP) whose constraint language consists of relations that are first-order definable over (Z; succ), i. e., over the integers with the successor function. Our main result says that every distance CSP is in P or NP-complete, unless it can be formulated as a finite domain CSP in which case the computational complexity is not known in general.enConference Paper10.1007/978-3-662-47672-7_21Other