Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems

Projektinformationen

InfCSP

ID Finanzhilfevereinbarung: 795936

DOI

10.3030/795936

Das Projekt endete am 3 März 2020

EK-Unterschriftsdatum 10 April 2018

Startdatum 1 Juli 2018

Enddatum 29 April 2021

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 195 454,80

EU-Beitrag

€ 195 454,80

Koordiniert durch

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

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (1)

On the Power of Symmetric Linear Programs

Autoren: Albert Atserias, Anuj Dawar, Joanna Ochremiak
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-13, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785792