Silvia Butti - RankMe

19 papers A* 2A 4B 1Journal 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The Sherali-Adams and Weisfeiler-Leman Hierarchies in (Promise Valued) Constraint Satisfaction Problems. ACM Trans. Comput. Theory Libor Barto, Silvia Butti, Victor Dalmau
2025	A*	`conf`	Optimal Inapproximability of Promise Equations over Finite Groups. ICALP Silvia Butti, Alberto Larrauri, Stanislav Zivný
2024	A*	`conf`	Algebraic Approach to Approximation. LICS Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
2024	J	`jnl`	Algebraic Approach to Approximation. CoRR Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
2024	J	`jnl`	Optimal Inapproximability of Promise Equations over Finite Groups. CoRR Silvia Butti, Alberto Larrauri, Stanislav Zivný
2024	J	`jnl`	The Complexity of the Distributed Constraint Satisfaction Problem. Theory Comput. Syst. Silvia Butti, Víctor Dalmau
2024	J	`jnl`	The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems. CoRR Libor Barto, Silvia Butti, Víctor Dalmau
2022	A	`conf`	Fixed-Template Promise Model Checking Problems. CP Kristina Asimi, Libor Barto, Silvia Butti
2022	J	`jnl`	Fixed-Template Promise Model Checking Problems. CoRR Kristina Asimi, Libor Barto, Silvia Butti
2022	—	`—`	Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems Silvia Butti
2022	A	`conf`	Weisfeiler-Leman Invariant Promise Valued CSPs. CP Libor Barto, Silvia Butti
2022	J	`jnl`	Weisfeiler-Leman Invariant Promise Valued CSPs. CoRR Libor Barto, Silvia Butti
2021	B	`conf`	Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem. MFCS Silvia Butti, Víctor Dalmau
2021	J	`jnl`	Fractional homomorphism, Weisfeiler-Leman invariance, and the Sherali-Adams hierarchy for the Constraint Satisfaction Problem. CoRR Silvia Butti, Victor Dalmau
2021	A	`conf`	The Complexity of the Distributed Constraint Satisfaction Problem. STACS Silvia Butti, Victor Dalmau
2020	J	`jnl`	Sparsification of Binary CSPs. SIAM J. Discret. Math. Silvia Butti, Stanislav Zivný
2020	J	`jnl`	The Complexity of the Distributed Constraint Satisfaction Problem. CoRR Silvia Butti, Victor Dalmau
2019	A	`conf`	Sparsification of Binary CSPs. STACS Silvia Butti, Stanislav Zivný
2019	J	`jnl`	Sparsification of Binary CSPs. CoRR Silvia Butti, Stanislav Zivný