20 citations · 85 across the 19 of their papers we have counts for
5 papers · 1 filter
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…
ω-categorical structures avoiding height 1 identities
Manuel Bodirsky, Antoine Mottet, Miroslav Olšák +3
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial…
Cores over Ramsey structures
Antoine Mottet, Michael Pinsker
We prove that if an -categorical structure has an -categorical homogeneous Ramsey expansion, then so does its model-complete core.
A Dichotomy for First-Order Reducts of Unary Structures
Manuel Bodirsky, Antoine Mottet
Many natural decision problems can be formulated as constraint satisfaction problems for reducts of finitely bounded homogeneous structures. This class of problems is…
Discrete Temporal Constraint Satisfaction Problems
Manuel Bodirsky, Barnaby Martin, Antoine Mottet
A discrete temporal constraint satisfaction problem is a constraint satisfaction problem (CSP) whose constraint language consists of relations that are first-order definable over $…