Search Results - "computer science - computational complexity"

Refine Results
  1. 1

    Complexity theory for spaces of integrable functions by Florian Steinberg

    Published in Logical Methods in Computer Science (2017-09-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  2. 2

    Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing by Oded Goldreich, Avi Wigderson

    Published in TheoretiCS (2022-12-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  3. 3

    Depth, Highness and DNR degrees by Philippe Moser, Frank Stephan

    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  4. 4

    Lower Bound on Weights of Large Degree Threshold Functions by Vladimir V. Podolskii

    Published in Logical Methods in Computer Science (2013-06-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  5. 5

    Depth lower bounds in Stabbing Planes for combinatorial principles by Stefan Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin

    Published in Logical Methods in Computer Science (2024-01-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  6. 6

    A Robust Version of Heged\H{u}s's Lemma, with Applications by Srikanth Srinivasan

    Published in TheoretiCS (2023-03-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  7. 7

    On the Complexity of Target Set Selection in Simple Geometric Networks by Michal Dvořák, Dušan Knop, Šimon Schierreich

    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  8. 8

    Fourier spectra of measures associated with algorithmically random Brownian motion by Willem Louw Fouché, Safari Mukeru, George Davie

    Published in Logical Methods in Computer Science (2014-09-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  9. 9

    Sigma Partitioning: Complexity and Random Graphs by Ali Dehghan, Mohammad-Reza Sadeghi, Arash Ahadi

    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  10. 10

    Consistency of circuit lower bounds with bounded theories by Jan Bydzovsky, Jan Krajicek, Igor C. Oliveira

    Published in Logical Methods in Computer Science (2020-06-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  11. 11

    Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic by Ján Pich

    Published in Logical Methods in Computer Science (2015-06-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  12. 12

    Generic algorithms for halting problem and optimal machines revisited by Laurent Bienvenu, Damien Desfontaines, Alexander Shen

    Published in Logical Methods in Computer Science (2016-04-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  13. 13

    Representing Matroids over the Reals is $\exists \mathbb R$-complete by Eun Jung Kim, Arnaud de Mesmay, Tillmann Miltzow

    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  14. 14

    Complexity classifications for different equivalence and audit problems for Boolean circuits by Elmar Böhler, Nadia Creignou, Matthias Galota, Steffen Reith, Henning Schnoor, Heribert Vollmer

    Published in Logical Methods in Computer Science (2012-09-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  15. 15

    Diversity of Answers to Conjunctive Queries by Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek

    Published in Logical Methods in Computer Science (2025-01-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  16. 16

    Planar 3-SAT with a Clause/Variable Cycle by Alexander Pilz

    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  17. 17

    Semipaired Domination in Some Subclasses of Chordal Graphs by Michael A. Henning, Arti Pandey, Vikash Tripathi

    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  18. 18

    A Double Exponential Lower Bound for the Distinct Vectors Problem by Marcin Pilipczuk, Manuel Sorge

    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  19. 19

    The First-Order Theory of Ground Tree Rewrite Graphs by Stefan Göller, Markus Lohrey

    Published in Logical Methods in Computer Science (2014-02-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


  20. 20

    Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution by Olaf Beyersdorff, Benjamin Böhm

    Published in Logical Methods in Computer Science (2023-04-01)
    Subjects: “…computer science - computational complexity…”
    Get full text
    Article


Search Tools: