20 citations · 85 across the 19 of their papers we have counts for
1 paper · 1 filter
Manuel Bodirsky, Victor Dalmau, Barnaby Martin +2
We study the complexity of constraint satisfaction problems for templates Γ that are first-order definable in (Z;succ), the integers with the successor relation. Assuming…