We stand with Ukraine  

Silvia Butti

Orcid: 0000-0002-0171-2021

Affiliations:
  • University of Oxford, UK
  • Universitat Pompeu Fabra, Barcelona, Spain (former)


According to our database1, Silvia Butti authored at least 8 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems.
[BibTeX]
[DOI]
Libor Barto
,
Silvia Butti
,
Víctor Dalmau
CoRR, 2024

Algebraic Approach to Approximation.
[BibTeX]
[DOI]
Libor Barto
,
Silvia Butti
,
Alexandr Kazda
,
Caterina Viola
,
Stanislav Zivný
CoRR, 2024

2022
Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems
[BibTeX]
[DOI]
Silvia Butti
PhD thesis, 2022

Weisfeiler-Leman Invariant Promise Valued CSPs.
[BibTeX]
[DOI]
Libor Barto
,
Silvia Butti
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

Fixed-Template Promise Model Checking Problems.
[BibTeX]
[DOI]
Kristina Asimi
,
Libor Barto
,
Silvia Butti
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021
The Complexity of the Distributed Constraint Satisfaction Problem.
[BibTeX]
[DOI]
Silvia Butti
,
Victor Dalmau
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021

Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem.
[BibTeX]
[DOI]
Silvia Butti
,
Víctor Dalmau
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020
Sparsification of Binary CSPs.
[BibTeX]
[DOI]
Silvia Butti
,
Stanislav Zivný
SIAM J. Discret. Math., 2020


  Loading...