Skip to main content
Go to the home page of the European Commission (opens in new window)
English en
CORDIS - EU research results
CORDIS

Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

On the Power of Symmetric Linear Programs (opens in new window)

Author(s): Albert Atserias, Anuj Dawar, Joanna Ochremiak
Published in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-13, ISBN 978-1-7281-3608-0
Publisher: IEEE
DOI: 10.1109/lics.2019.8785792

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0