Silvia Butti

According to our database, Silvia Butti authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Complexity of the Distributed Constraint Satisfaction Problem.

Silvia Butti, Víctor Dalmau

Theory Comput. Syst., August, 2024

Optimal Inapproximability of Promise Equations over Finite Groups.

Silvia Butti, Alberto Larrauri, Stanislav Zivný

CoRR, 2024

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems.

Libor Barto, Silvia Butti, Víctor Dalmau

CoRR, 2024

Algebraic Approach to Approximation.

Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2022

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

Silvia Butti

PhD thesis, 2022

Weisfeiler-Leman Invariant Promise Valued CSPs.

Libor Barto, Silvia Butti

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

Fixed-Template Promise Model Checking Problems.

Kristina Asimi, Libor Barto, Silvia Butti

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem.

Silvia Butti, Víctor Dalmau

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Sparsification of Binary CSPs.

Silvia Butti, Stanislav Zivný

SIAM J. Discret. Math., 2020