research
∙
02/27/2023
Functors on relational structures which admit both left and right adjoints
This paper describes several cases of adjunction in the homomorphism ord...
share
research
∙
02/13/2023
Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes
A Datalog program can be viewed as a syntactic specification of a functo...
research
∙
01/12/2023
Local consistency as a reduction between constraint satisfaction problems
We study the use of local consistency methods as reductions between cons...
research
∙
08/29/2022
An invitation to the promise constraint satisfaction problem
The study of the complexity of the constraint satisfaction problem (CSP)...
research
∙
06/13/2020
ω-categorical structures avoiding height 1 identities
The algebraic dichotomy conjecture for Constraint Satisfaction Problems ...
research
∙
03/25/2020
Topology and adjunction in promise constraint satisfaction
The approximate graph colouring problem concerns colouring a k-colourabl...
research
∙
04/05/2019
The complexity of 3-colouring H-colourable graphs
We study the complexity of approximation on satisfiable instances for gr...
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
∙
01/02/2019
Deciding the existence of minority terms
This paper investigates the computational complexity of deciding if a gi...
research
∙
11/02/2018