Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems - Butti, Silvia (2022)