A Unified Theory of Algorithmic Relaxations

Informations projet

AUTAR

N° de convention de subvention: 648276

DOI

10.3030/648276

Projet clôturé

Date de signature de la CE 27 Mai 2015

Date de début 1 Juin 2015

Date de fin 30 Septembre 2020

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 725 656,00

Contribution de l’UE

€ 1 725 656,00

Coordonné par

UNIVERSITAT POLITECNICA DE CATALUNYA
Spain

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (14)

Definable inapproximability: new challenges for duplicator

Auteurs: Albert Atserias, Anuj Dawar
Publié dans: Journal of Logic and Computation, Numéro 29/8, 2019, Page(s) 1185-1210, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exz022

Quantum and non-signalling graph isomorphisms

Auteurs: Albert Atserias, Laura Mančinska, David E. Roberson, Robert Šámal, Simone Severini, Antonios Varvitsiotis
Publié dans: Journal of Combinatorial Theory, Series B, Numéro 136, 2019, Page(s) 289-328, ISSN 0095-8956
Éditeur: Academic Press
DOI: 10.1016/j.jctb.2018.11.002

A remark on pseudo proof systems and hard instances of the satisfiability problem

Auteurs: Jan Maly, Moritz Müller
Publié dans: Mathematical Logic Quarterly, Numéro 64/6, 2018, Page(s) 418-428, ISSN 0942-5616
Éditeur: John Wiley & Sons Ltd.
DOI: 10.1002/malq.201700009

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers

Auteurs: Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio
Publié dans: ACM Transactions on Computational Logic, Numéro 20/4, 2019, Page(s) 1-36, ISSN 1529-3785
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3340923

Antimagic labelings of caterpillars

Auteurs: Antoni Lozano, Mercè Mora, Carlos Seara
Publié dans: Applied Mathematics and Computation, Numéro 347, 2019, Page(s) 734-740, ISSN 0096-3003
Éditeur: Elsevier BV
DOI: 10.1016/j.amc.2018.11.043

Relative Entailment Among Probabilistic Implications

Auteurs: Albert Atserias, José L. Balcázar, Marie Ely Piceno
Publié dans: Logical Methods in Computer Science, 2019, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(1:10)2019

Co-occurrence patterns in diagnostic data

Auteurs: Marie Ely Piceno, Laura Rodríguez-Navas, José Luis Balcázar
Publié dans: Computational Intelligence, 2020, ISSN 0824-7935
Éditeur: Blackwell Publishing Inc.
DOI: 10.1111/coin.12317

Automating Resolution is NP-Hard

Auteurs: Albert Atserias, Moritz Müller
Publié dans: Journal of the ACM, Numéro 67/5, 2020, Page(s) 1-17, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3409472

Proof Complexity Meets Algebra

Auteurs: Albert Atserias, Joanna Ochremiak
Publié dans: ACM Transactions on Computational Logic, Numéro 20/1, 2019, Page(s) 1-46, ISSN 1529-3785
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3265985

Polynomial time ultrapowers and the consistency of circuit lower bounds

Auteurs: Jan Bydžovský, Moritz Müller
Publié dans: Archive for Mathematical Logic, Numéro 59/1-2, 2020, Page(s) 127-147, ISSN 0933-5846
Éditeur: Springer Verlag
DOI: 10.1007/s00153-019-00681-y

The parameterized space complexity of model-checking bounded variable first-order logic

Auteurs: Yijia Chen, Michael Elberfeld, Moritz Müller
Publié dans: Logical Methods in Computer Science, 2019, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:31)2019

Generalized satisfiability problems via operator assignments

Auteurs: Albert Atserias, Phokion G. Kolaitis, Simone Severini
Publié dans: Journal of Computer and System Sciences, Numéro 105, 2019, Page(s) 171-198, ISSN 0022-0000
Éditeur: Academic Press
DOI: 10.1016/j.jcss.2019.05.003

Probabilities of first-order sentences on sparse random relational structures: an application to definability on random CNF formulas

Auteurs: Lázaro Alberto Larrauri
Publié dans: Journal of Logic and Computation, 2020, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exaa061

Feasibly constructive proofs of succinct weak circuit lower bounds

Auteurs: Moritz Müller, Ján Pich
Publié dans: Annals of Pure and Applied Logic, Numéro 171/2, 2020, Page(s) 102735, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2019.102735

Conference proceedings (16)

Clique is hard on average for regular resolution

Auteurs: Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander Razborov
Publié dans: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018, 2018, Page(s) 866-877, ISBN 9781450355599
Éditeur: ACM Press
DOI: 10.1145/3188745.3188856

On Zero-One and Convergence Laws for Graphs Embeddable on a Fixed Surface

Auteurs: Albert Atserias, Stephan Kreutzer, Marc Noy
Publié dans: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), 2018
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2018.116

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem

Auteurs: Albert Atserias, Joanna Ochremiak
Publié dans: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, Page(s) 66-75, ISBN 9781450355834
Éditeur: ACM
DOI: 10.1145/3209108.3209186

Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares

Auteurs: Tuomas Hakoniemi
Publié dans: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 2020
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.63

A parameterized halting problem, the linear time hierarchy, and the MRDP theorem

Auteurs: Yijia Chen, Moritz Müller, Keita Yokoyama
Publié dans: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, Page(s) 235-244, ISBN 9781450355834
Éditeur: ACM
DOI: 10.1145/3209108.3209155

Resolution Lower Bounds for Refutation Statements

Auteurs: Michal Garlík
Publié dans: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2019.37

Generalized Satisfiability Problems via Operator Assignments

Auteurs: Albert Atserias, Phokion G. Kolaitis, Simone Severini
Publié dans: 21st International Symposium, FCT 2017, Numéro Lecture Notes in Computer Science 10472, 2017, Page(s) 56-68, ISBN 978-3-662-55750-1
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55751-8_6

Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases

Auteurs: Massimo Lauria, Jakob Nordstrom
Publié dans: 32nd Computational Complexity Conference (CCC 2017), Numéro 79, 2017, Page(s) 2:1--2:20, ISBN 978-3-95977-040-8
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CCC.2017.2

Entropy Bounds for Conjunctive Queries with Functional Dependencies

Auteurs: Tomasz Gogacz, Szymon Torunczyk
Publié dans: 20th International Conference on Database Theory (ICDT 2017), Numéro LIPIcs 68, 2017, Page(s) 15:1--15:17
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICDT.2017.15

Proof Complexity Meets Algebra

Auteurs: Albert Atserias, Joanna Ochremiak
Publié dans: 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), Numéro 80, 2017, Page(s) 110:1--110:14, ISBN 978-3-95977-041-5
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.110

Derandomizing Isolation in Space-Bounded Settings

Auteurs: Dieter van Melkebeek, Gautam Prakriya
Publié dans: 32nd Computational Complexity Conference (CCC 2017), Numéro 79, 2017, Page(s) 5:1--5:32, ISBN 978-3-95977-040-8
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CCC.2017.5

Non-Homogenizable Classes of Finite Structures

Auteurs: Albert Atserias, Szymon Torunczyk
Publié dans: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, 2016, Page(s) 16:16:00, ISBN 978-3-95977-022-4
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CSL.2016.16

Homomorphism Problems for First-Order Definable Structures

Auteurs: Bartek Klin, Slawek Lasota, Joanna Ochremiak, Szymon Torunczyk
Publié dans: 36th Foundations of Software Technology and Theoretical Computer Science, 2016, Page(s) 14:15, ISBN 978-3-95977-027-9
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2016.14

On the Power of Symmetric Linear Programs

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

Automating Resolution is NP-Hard

Auteurs: Albert Atserias, Moritz Muller
Publié dans: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, Page(s) 498-509, ISBN 978-1-7281-4952-3
Éditeur: IEEE
DOI: 10.1109/focs.2019.00038

Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs

Auteurs: Albert Atserias, Tuomas Hakoniemi
Publié dans: 34th Computational Complexity Conference (CCC 2019), 2019
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.ccc.2019.24

Other (1)

Limiting probabilities of first order properties of random sparse graphs and hypergraphs

Auteurs: Alberto Larrauri, Tobias Müller, Marc Noy
Publié dans: 2020
Éditeur: Cornell University

Book chapters (2)

Circular (Yet Sound) Proofs

Auteurs: Albert Atserias, Massimo Lauria
Publié dans: Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings, Numéro 11628, 2019, Page(s) 1-18, ISBN 978-3-030-24257-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-24258-9_1

Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers

Auteurs: Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals
Publié dans: Theory and Applications of Satisfiability Testing – SAT 2016, 2016, Page(s) 160-176, ISBN 978-3-319-40970-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-40970-2_11