activity
20182026
most citedSmooth digraphs modulo primitive positive constructability and cyclic loop conditions

6 citations · 15 across the 7 of their papers we have counts for

collaborators
Showing 2026 · math.RAShow all

1 paper · 2 filters

math.RA2026

Conservative CSPs in Logspace are in Symmetric Linear Datalog (under complexity theoretic assumptions)

Florian Starke

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-compl…