activity
20242026
most citedThe complete classification for quantified equality constraints

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2024

Complexity Classification Transfer for CSPs via Algebraic Products

Manuel Bodirsky, Peter Jonsson, Barnaby Martin +2

We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a struc…