Atserias, Albert; Dalmau, Víctor
(SIAM (Society for Industrial and Applied Mathematics), 2022)
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 that the template of every PCSP that is ...