research
∙
02/23/2023
Symmetries of structures that fail to interpret something finite
We investigate structural implications arising from the condition that a...
share
research
∙
01/30/2023
An order out of nowhere: a new algorithm for infinite-domain CSPs
We consider constraint satisfaction problems whose relations are defined...
research
∙
11/07/2022
Complexity Classification Transfer for CSPs via Algebraic Products
We study the complexity of infinite-domain constraint satisfaction probl...
research
∙
02/15/2021
Smooth Approximations and Relational Width Collapses
We prove that relational structures admitting specific polymorphisms (na...
research
∙
11/08/2020
Smooth approximations and CSPs over finitely bounded homogeneous structures
We develop the novel machinery of smooth approximations, and apply it to...
research
∙
10/10/2020
Constraint Satisfaction Problems over Finite Structures
We initiate a systematic study of the computational complexity of the Co...
research
∙
06/13/2020
ω-categorical structures avoiding height 1 identities
The algebraic dichotomy conjecture for Constraint Satisfaction Problems ...
research
∙
04/13/2020
Cores over Ramsey structures
It has been conjectured that the class of first-order reducts of finitel...
research
∙
02/17/2020
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems
We produce a class of ω-categorical structures with finite signature by ...
research
∙
01/14/2019
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
The algebraic dichotomy conjecture for Constraint Satisfaction Problems ...
research
∙
01/14/2019
Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems)
The algebraic dichotomy conjecture for Constraint Satisfaction Problems ...
research
∙
07/03/2018
The complexity of disjunctive linear Diophantine constraints
We study the Constraint Satisfaction Problem CSP(A), where A is first-or...
research
∙
05/05/2018
Classification transfer for qualitative reasoning problems
We study formalisms for temporal and spatial reasoning in the modern con...
research
∙
02/09/2018