A Unified Theory of Algorithmic Relaxations

Definable inapproximability: new challenges for duplicator

Autorzy: Albert Atserias, Anuj Dawar
Opublikowane w: Journal of Logic and Computation, Numer 29/8, 2019, Strona(/y) 1185-1210, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exz022

Quantum and non-signalling graph isomorphisms

Autorzy: Albert Atserias, Laura Mančinska, David E. Roberson, Robert Šámal, Simone Severini, Antonios Varvitsiotis
Opublikowane w: Journal of Combinatorial Theory, Series B, Numer 136, 2019, Strona(/y) 289-328, ISSN 0095-8956
Wydawca: Academic Press
DOI: 10.1016/j.jctb.2018.11.002

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

Autorzy: Jan Maly, Moritz Müller
Opublikowane w: Mathematical Logic Quarterly, Numer 64/6, 2018, Strona(/y) 418-428, ISSN 0942-5616
Wydawca: John Wiley & Sons Ltd.
DOI: 10.1002/malq.201700009

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

Autorzy: Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio
Opublikowane w: ACM Transactions on Computational Logic, Numer 20/4, 2019, Strona(/y) 1-36, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3340923

Antimagic labelings of caterpillars

Autorzy: Antoni Lozano, Mercè Mora, Carlos Seara
Opublikowane w: Applied Mathematics and Computation, Numer 347, 2019, Strona(/y) 734-740, ISSN 0096-3003
Wydawca: Elsevier BV
DOI: 10.1016/j.amc.2018.11.043

Relative Entailment Among Probabilistic Implications

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

Co-occurrence patterns in diagnostic data

Autorzy: Marie Ely Piceno, Laura Rodríguez-Navas, José Luis Balcázar
Opublikowane w: Computational Intelligence, 2020, ISSN 0824-7935
Wydawca: Blackwell Publishing Inc.
DOI: 10.1111/coin.12317

Automating Resolution is NP-Hard

Autorzy: Albert Atserias, Moritz Müller
Opublikowane w: Journal of the ACM, Numer 67/5, 2020, Strona(/y) 1-17, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3409472

Proof Complexity Meets Algebra

Autorzy: Albert Atserias, Joanna Ochremiak
Opublikowane w: ACM Transactions on Computational Logic, Numer 20/1, 2019, Strona(/y) 1-46, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3265985

Polynomial time ultrapowers and the consistency of circuit lower bounds

Autorzy: Jan Bydžovský, Moritz Müller
Opublikowane w: Archive for Mathematical Logic, Numer 59/1-2, 2020, Strona(/y) 127-147, ISSN 0933-5846
Wydawca: Springer Verlag
DOI: 10.1007/s00153-019-00681-y

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

Autorzy: Yijia Chen, Michael Elberfeld, Moritz Müller
Opublikowane w: Logical Methods in Computer Science, 2019, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:31)2019

Generalized satisfiability problems via operator assignments

Autorzy: Albert Atserias, Phokion G. Kolaitis, Simone Severini
Opublikowane w: Journal of Computer and System Sciences, Numer 105, 2019, Strona(/y) 171-198, ISSN 0022-0000
Wydawca: 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

Autorzy: Lázaro Alberto Larrauri
Opublikowane w: Journal of Logic and Computation, 2020, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exaa061

Feasibly constructive proofs of succinct weak circuit lower bounds

Autorzy: Moritz Müller, Ján Pich
Opublikowane w: Annals of Pure and Applied Logic, Numer 171/2, 2020, Strona(/y) 102735, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2019.102735

Clique is hard on average for regular resolution

Autorzy: Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander Razborov
Opublikowane w: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018, 2018, Strona(/y) 866-877, ISBN 9781450355599
Wydawca: ACM Press
DOI: 10.1145/3188745.3188856

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

Autorzy: Albert Atserias, Stephan Kreutzer, Marc Noy
Opublikowane w: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), 2018
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2018.116

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

Autorzy: Albert Atserias, Joanna Ochremiak
Opublikowane w: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, Strona(/y) 66-75, ISBN 9781450355834
Wydawca: ACM
DOI: 10.1145/3209108.3209186

Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares

Autorzy: Tuomas Hakoniemi
Opublikowane w: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 2020
Wydawca: 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

Autorzy: Yijia Chen, Moritz Müller, Keita Yokoyama
Opublikowane w: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, Strona(/y) 235-244, ISBN 9781450355834
Wydawca: ACM
DOI: 10.1145/3209108.3209155

Resolution Lower Bounds for Refutation Statements

Autorzy: Michal Garlík
Opublikowane w: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2019.37

Generalized Satisfiability Problems via Operator Assignments

Autorzy: Albert Atserias, Phokion G. Kolaitis, Simone Severini
Opublikowane w: 21st International Symposium, FCT 2017, Numer Lecture Notes in Computer Science 10472, 2017, Strona(/y) 56-68, ISBN 978-3-662-55750-1
Wydawca: 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

Autorzy: Massimo Lauria, Jakob Nordstrom
Opublikowane w: 32nd Computational Complexity Conference (CCC 2017), Numer 79, 2017, Strona(/y) 2:1--2:20, ISBN 978-3-95977-040-8
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CCC.2017.2

Entropy Bounds for Conjunctive Queries with Functional Dependencies

Autorzy: Tomasz Gogacz, Szymon Torunczyk
Opublikowane w: 20th International Conference on Database Theory (ICDT 2017), Numer LIPIcs 68, 2017, Strona(/y) 15:1--15:17
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICDT.2017.15

Proof Complexity Meets Algebra

Autorzy: Albert Atserias, Joanna Ochremiak
Opublikowane w: 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), Numer 80, 2017, Strona(/y) 110:1--110:14, ISBN 978-3-95977-041-5
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.110

Derandomizing Isolation in Space-Bounded Settings

Autorzy: Dieter van Melkebeek, Gautam Prakriya
Opublikowane w: 32nd Computational Complexity Conference (CCC 2017), Numer 79, 2017, Strona(/y) 5:1--5:32, ISBN 978-3-95977-040-8
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CCC.2017.5

Non-Homogenizable Classes of Finite Structures

Autorzy: Albert Atserias, Szymon Torunczyk
Opublikowane w: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, 2016, Strona(/y) 16:16:00, ISBN 978-3-95977-022-4
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CSL.2016.16

Homomorphism Problems for First-Order Definable Structures

Autorzy: Bartek Klin, Slawek Lasota, Joanna Ochremiak, Szymon Torunczyk
Opublikowane w: 36th Foundations of Software Technology and Theoretical Computer Science, 2016, Strona(/y) 14:15, ISBN 978-3-95977-027-9
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2016.14

On the Power of Symmetric Linear Programs

Autorzy: Albert Atserias, Anuj Dawar, Joanna Ochremiak
Opublikowane w: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Strona(/y) 1-13, ISBN 978-1-7281-3608-0
Wydawca: IEEE
DOI: 10.1109/lics.2019.8785792

Automating Resolution is NP-Hard

Autorzy: Albert Atserias, Moritz Muller
Opublikowane w: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, Strona(/y) 498-509, ISBN 978-1-7281-4952-3
Wydawca: IEEE
DOI: 10.1109/focs.2019.00038

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

Autorzy: Albert Atserias, Tuomas Hakoniemi
Opublikowane w: 34th Computational Complexity Conference (CCC 2019), 2019
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.ccc.2019.24

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

Autorzy: Alberto Larrauri, Tobias Müller, Marc Noy
Opublikowane w: 2020
Wydawca: Cornell University

Circular (Yet Sound) Proofs

Autorzy: Albert Atserias, Massimo Lauria
Opublikowane w: Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings, Numer 11628, 2019, Strona(/y) 1-18, ISBN 978-3-030-24257-2
Wydawca: 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

Autorzy: Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals
Opublikowane w: Theory and Applications of Satisfiability Testing – SAT 2016, 2016, Strona(/y) 160-176, ISBN 978-3-319-40970-2
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-40970-2_11

Publikacje

Udostępnij tę stronę

Pobierz