research
∙
05/10/2022
Weisfeiler-Leman Invariant Promise Valued CSPs
In a recent line of work, Butti and Dalmau have shown that a fixed-templ...
research
∙
05/10/2022
Fixed-Template Promise Model Checking Problems
The fixed-template constraint satisfaction problem (CSP) can be seen as ...
research
∙
07/07/2021
Fractional homomorphism, Weisfeiler-Leman invariance, and the Sherali-Adams hierarchy for the Constraint Satisfaction Problem
Given a pair of graphs A and B, the problems of deciding whether there e...
research
∙
07/27/2020
The Complexity of the Distributed Constraint Satisfaction Problem
We study the complexity of the Distributed Constraint Satisfaction Probl...
research
∙
01/03/2019