关注
Silvia Butti
Silvia Butti
Senior Research Associate, University of Oxford
在 cs.ox.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
92020
The complexity of the distributed constraint satisfaction problem
S Butti, V Dalmau
Theory of Computing Systems, 1-30, 2022
82022
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
32024
Weisfeiler-Leman Invariant Promise Valued CSPs
L Barto, S Butti
28th International Conference on Principles and Practice of Constraint …, 2022
32022
Fixed-Template Promise Model Checking Problems
K Asimi, L Barto, S Butti
28th International Conference on Principles and Practice of Constraint …, 2022
22022
Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems
S Butti
Universitat Pompeu Fabra, 2022
22022
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
系统目前无法执行此操作,请稍后再试。
文章 1–10