Silvia Butti

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Constraint Propagation

Constraint Satisfaction

Tractable Subclasses

Top Venues

Publications

Libor Barto, Silvia Butti, Víctor Dalmau
The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems. CoRR (2024)
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. CoRR (2024)
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. LICS (2024)
Kristina Asimi, Libor Barto, Silvia Butti
Fixed-Template Promise Model Checking Problems. CoRR (2022)
Kristina Asimi, Libor Barto, Silvia Butti
Fixed-Template Promise Model Checking Problems. CP (2022)
Libor Barto, Silvia Butti
Weisfeiler-Leman Invariant Promise Valued CSPs. CoRR (2022)
Libor Barto, Silvia Butti
Weisfeiler-Leman Invariant Promise Valued CSPs. CP (2022)
Silvia Butti, Victor Dalmau
The Complexity of the Distributed Constraint Satisfaction Problem. STACS (2021)
Silvia Butti, Victor Dalmau
Fractional homomorphism, Weisfeiler-Leman invariance, and the Sherali-Adams hierarchy for the Constraint Satisfaction Problem. CoRR (2021)
Silvia Butti, Víctor Dalmau
Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem. MFCS (2021)
Silvia Butti, Stanislav Zivný
Sparsification of Binary CSPs. SIAM J. Discret. Math. 34 (1) (2020)
Silvia Butti, Victor Dalmau
The Complexity of the Distributed Constraint Satisfaction Problem. CoRR (2020)
Silvia Butti, Stanislav Zivný
Sparsification of Binary CSPs. CoRR (2019)
Silvia Butti, Stanislav Zivný
Sparsification of Binary CSPs. STACS (2019)