{"id":"arxiv/2610.21967","url":"https://arxiv.org/abs/2610.21967","tags":["math.LO","cs.CC"],"score":0,"title":"Discrete Temporal CSPs et al","domain":"math.LO","source":"arxiv","authors":["Lukas Pieper"],"reviews":0,"subject":"math.LO","summary":"We revisit the complexity classification of constraint satisfaction problems (CSPs) for first-order reducts of $(\\mathbb{Z},<)$, established by Bodirsky, Martin, and Mottet in 2018. Following their approach, we give a self-contained proof of this classification, correcting several errors in the argument. We further show that, with the exception of cases arising from finite-domain CSPs, all tractable cases are solved by a well-known uniform algorithm, eliminating the need for the collection of ad-hoc algorithms used in the original paper. A central component of the proof allows the analysis…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-15","reactions":{}}