Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems

Informazioni relative al progetto

InfCSP

ID dell’accordo di sovvenzione: 795936

DOI

10.3030/795936

Progetto concluso il 3 Marzo 2020

Data della firma CE 10 Aprile 2018

Data di avvio 1 Luglio 2018

Data di completamento 29 Aprile 2021

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 195 454,80

Contributo UE

€ 195 454,80

Coordinato da

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (1)

On the Power of Symmetric Linear Programs

Autori: Albert Atserias, Anuj Dawar, Joanna Ochremiak
Pubblicato in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Pagina/e 1-13, ISBN 978-1-7281-3608-0
Editore: IEEE
DOI: 10.1109/lics.2019.8785792