Sparsification of Binary CSPs. - Silvia Butti; Stanislav Zivný (SIAM J. Discret. Math., 2020)

Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem. - Silvia Butti; Víctor Dalmau (MFCS, 2021)

Fixed-Template Promise Model Checking Problems. - Kristina Asimi; Libor Barto; Silvia Butti (CP, 2022)

Weisfeiler-Leman Invariant Promise Valued CSPs. - Libor Barto; Silvia Butti (CP, 2022)

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

Algebraic Approach to Approximation. - Libor Barto; Silvia Butti; Alexandr Kazda; Caterina Viola; Stanislav Zivný (LICS, 2024)

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems. - Libor Barto; Silvia Butti; Víctor Dalmau (CoRR, 2024)

The Complexity of the Distributed Constraint Satisfaction Problem. - Silvia Butti; Víctor Dalmau (Theory Comput. Syst., 2024)

Optimal Inapproximability of Promise Equations over Finite Groups. - Silvia Butti; Alberto Larrauri; Stanislav Zivný (ICALP, 2025)