Weisfeiler-Leman Invariant Promise Valued CSPs

Libor Barto, Silvia Butti

In a recent line of work, Butti and Dalmau have shown that a fixed-template Constraint Satisfaction Problem is solvable by a certain natural linear programming relaxation (equivale…