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
∙
03/31/2022
Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep
A Constraint Satisfaction Problem (CSP) is a computational problem where...
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
∙
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
∙
09/12/2019
Topology is irrelevant (in a dichotomy conjecture for infinite domain constraint satisfaction problems)
The tractability conjecture for finite domain Constraint Satisfaction Pr...
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
∙
12/02/2018