3 citations · 6 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CC2021
Promise Constraint Satisfaction and Width
Albert Atserias, Víctor Dalmau
We study the power of the bounded-width consistency algorithm in the context of the fixed-template Promise Constraint Satisfaction Problem (PCSP). Our main technical finding is tha…
math.CO2021
On the Expressive Power of Homomorphism Counts
Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu
A classical result by Lovász asserts that two graphs and are isomorphic if and only if they have the same left profile, that is, for every graph , the number of homomorp…