Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Silvia Butti

> Home > Persons

Person information

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2022
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/es/Butti22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/es/Butti22
Silvia Butti:
Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems. Pompeu Fabra University, Spain, 2022

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/siamdm/ButtiZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamdm/ButtiZ20
Silvia Butti, Stanislav Zivný:
Sparsification of Binary CSPs. SIAM J. Discret. Math. 34(1): 825-842 (2020)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BartoBKVZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BartoBKVZ24
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný:
Algebraic Approach to Approximation. LICS 2024: 10:1-10:14
2022
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cp/AsimiBB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AsimiBB22
Kristina Asimi, Libor Barto, Silvia Butti:
Fixed-Template Promise Model Checking Problems. CP 2022: 2:1-2:17
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cp/BartoB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BartoB22
Libor Barto, Silvia Butti:
Weisfeiler-Leman Invariant Promise Valued CSPs. CP 2022: 4:1-4:17
2021
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/ButtiD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ButtiD21
Silvia Butti, Víctor Dalmau:
Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem. MFCS 2021: 27:1-27:19
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/ButtiD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/ButtiD21
Silvia Butti, Victor Dalmau:
The Complexity of the Distributed Constraint Satisfaction Problem. STACS 2021: 20:1-20:18
2019
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/ButtiZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/ButtiZ19
Silvia Butti, Stanislav Zivný:
Sparsification of Binary CSPs. STACS 2019: 17:1-17:8

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-15186
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-15186
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný:
Algebraic Approach to Approximation. CoRR abs/2401.15186 (2024)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-16998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-16998
Libor Barto, Silvia Butti, Víctor Dalmau:
The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems. CoRR abs/2401.16998 (2024)
2022
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-04787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-04787
Kristina Asimi, Libor Barto, Silvia Butti:
Fixed-Template Promise Model Checking Problems. CoRR abs/2205.04787 (2022)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-04805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-04805
Libor Barto, Silvia Butti:
Weisfeiler-Leman Invariant Promise Valued CSPs. CoRR abs/2205.04805 (2022)
2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-02956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-02956
Silvia Butti, Victor Dalmau:
Fractional homomorphism, Weisfeiler-Leman invariance, and the Sherali-Adams hierarchy for the Constraint Satisfaction Problem. CoRR abs/2107.02956 (2021)
2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-13594
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-13594
Silvia Butti, Victor Dalmau:
The Complexity of the Distributed Constraint Satisfaction Problem. CoRR abs/2007.13594 (2020)
2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-00754
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-00754
Silvia Butti, Stanislav Zivný:
Sparsification of Binary CSPs. CoRR abs/1901.00754 (2019)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.