{"id":"arxiv/2609.32463","url":"https://arxiv.org/abs/2609.32463","tags":["math.RA"],"score":0,"title":"Conservative CSPs in Logspace are in Symmetric Linear Datalog (under complexity theoretic assumptions)","domain":"math.RA","source":"arxiv","authors":["Florian Starke"],"reviews":0,"subject":"math.RA","summary":"We show that the constraint satisfaction problem of any finite conservative structure that can not pp-construct st-Con (whose CSP is NL-complete) or 3Lin2 (whose CSP is Mod2L-complete) is solved by a symmetric linear Datalog program and therefore in L.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-26","reactions":{}}