Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems 

Butti, Silvia (Date of defense: 2022-10-20)

This thesis focuses on the complexity of the fixed-template Constraint Satisfaction Problem (CSP) and its variants. Our contributions are two-fold. On the one hand, we study how closure of the space of CSP instances under ...