Follow
Silvia Butti
Silvia Butti
Senior Research Associate, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem
S Butti, V Dalmau
46th International Symposium on Mathematical Foundations of Computer Science …, 2021
152021
Sparsification of binary CSPs
S Butti, S Zivny
SIAM Journal on Discrete Mathematics 34 (1), 825-842, 2020
72020
The complexity of the distributed constraint satisfaction problem
S Butti, V Dalmau
Theory of Computing Systems, 1-30, 2022
62022
Weisfeiler-Leman Invariant Promise Valued CSPs
L Barto, S Butti
28th International Conference on Principles and Practice of Constraint …, 2022
32022
Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems
S Butti
Universitat Pompeu Fabra, 2022
22022
Algebraic Approach to Approximation
L Barto, S Butti, A Kazda, C Viola, S Živný
arXiv preprint arXiv:2401.15186, 2024
12024
Fixed-Template Promise Model Checking Problems
K Asimi, L Barto, S Butti
28th International Conference on Principles and Practice of Constraint …, 2022
12022
The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems
L Barto, S Butti, V Dalmau
arXiv preprint arXiv:2401.16998, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–8