Silvia Butti

According to our database, Silvia Butti authored at least 9 papers between 2019 and 2026.

Collaborative distances:

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

2026

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

Libor Barto, Silvia Butti, Victor Dalmau

ACM Trans. Comput. Theory, March, 2026

2025

Optimal Inapproximability of Promise Equations over Finite Groups.

Silvia Butti, Alberto Larrauri, Stanislav Zivný

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

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

The Complexity of the Distributed Constraint Satisfaction Problem.

Silvia Butti, Victor Dalmau

Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 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

2019

Sparsification of Binary CSPs.

Silvia Butti, Stanislav Zivný

Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019