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 | 15 | 2021 |
Sparsification of binary CSPs S Butti, S Zivny SIAM Journal on Discrete Mathematics 34 (1), 825-842, 2020 | 9 | 2020 |
The complexity of the distributed constraint satisfaction problem S Butti, V Dalmau Theory of Computing Systems, 1-30, 2022 | 8 | 2022 |
Algebraic Approach to Approximation L Barto, S Butti, A Kazda, C Viola, S Živný 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024 | 3 | 2024 |
Weisfeiler-Leman Invariant Promise Valued CSPs L Barto, S Butti 28th International Conference on Principles and Practice of Constraint …, 2022 | 3 | 2022 |
Fixed-Template Promise Model Checking Problems K Asimi, L Barto, S Butti 28th International Conference on Principles and Practice of Constraint …, 2022 | 2 | 2022 |
Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems S Butti Universitat Pompeu Fabra, 2022 | 2 | 2022 |
Optimal Inapproximability of Promise Equations over Finite Groups S Butti, A Larrauri, S Živný arXiv preprint arXiv:2411.01630, 2024 | | 2024 |
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 |
38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021) M Bläser, B Monmege Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021 | | 2021 |