Search results
From MaRDI portal
- of linear equations and path problems 2022-08-18 Paper The complexity of approximating PSPACE-complete problems for hierarchical specifications 2019-03-29...10 bytes (18 words) - 07:05, 9 December 2023
- division in tissue P systems by PSPACE 2014-11-24 Paper Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges...10 bytes (13 words) - 11:30, 28 January 2024
- 2014-09-26 Paper \(\mathrm{QIP} = \mathrm{PSPACE}\) 2014-08-13 Paper Two-Message Quantum Interactive Proofs Are in PSPACE 2014-07-25 Paper Simpler semidefinite...10 bytes (13 words) - 21:41, 24 September 2023
- Equation satisfiability in solvable groups 2024-10-07 Paper Log-space complexity of the conjugacy problem in wreath products 2024-09-09 Paper The power...10 bytes (13 words) - 08:44, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5115465 2020-08-13 Paper The complexity of approximating PSPACE-complete problems for hierarchical specifications 2019-03-29...10 bytes (17 words) - 16:14, 7 December 2023
- graphs with few P4's 2024-04-25 Paper Graph convexity impartial games: complexity and winning strategies 2024-04-17 Paper An introduction to convexity in...10 bytes (15 words) - 01:38, 10 December 2023
- Protocols With Application to Communication Complexity 2017-04-28 Paper Unidirectional Input/Output Streaming Complexity of Reversal and Sorting 2017-03-22 Paper...10 bytes (13 words) - 02:56, 7 October 2023
- de/entity/Q4258576 1999-09-13 Paper The Complexity of Planar Counting Problems 1998-09-20 Paper Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically...10 bytes (17 words) - 06:57, 12 December 2023
- domains of general size 2023-07-26 Paper Complexity classification of the eight-vertex model 2023-07-17 Paper A complexity trichotomy for \(k\)-regular asymmetric...10 bytes (15 words) - 01:08, 10 December 2023
- Type The complexity of gradient descent: CLS = PPAD \(\cap\) pls 2024-07-04 Paper Constant inapproximability for PPA 2023-12-08 Paper The complexity of gradient...10 bytes (13 words) - 15:48, 24 September 2023
- Characterization of PSPACE 2015-09-17 Paper From Turing machines to computer viruses 2015-08-21 Paper A logical account of pspace 2014-09-12 Paper Complexity Information...10 bytes (15 words) - 12:28, 28 January 2024
- Itself 2023-02-02 Paper PSPACE-completeness of reversible deterministic systems 2022-12-09 Paper Trains, games, and complexity: 0/1/2-player motion planning...10 bytes (13 words) - 19:10, 24 September 2023
- Kolmogorov complexity 2024-06-24 Paper https://portal.mardi4nfdi.de/entity/Q5874292 2023-02-07 Paper Effective category and measure in abstract complexity theory...10 bytes (13 words) - 14:51, 10 December 2023
- 2020-03-24 Paper The state complexity of \(\overline{\varSigma ^*\overline{L}}\) and its connection with temporal logic 2019-06-20 Paper PSPACE-completeness of certain...10 bytes (15 words) - 02:32, 9 December 2023
- for the Complexity of Canonical Colour Refinement 2013-09-17 Paper The Complexity of Rerouting Shortest Paths 2012-09-25 Paper The complexity of finding...10 bytes (14 words) - 18:23, 6 October 2023
- Paper On the complexity of model checking knowledge and time 2024-04-26 Paper https://portal.mardi4nfdi.de/entity/Q6191010 2024-02-08 Paper Pspace-Completeness...10 bytes (13 words) - 06:56, 7 October 2023
- neural P systems 2007-03-27 Paper Membrane computing and complexity theory: A characterization of PSPACE 2007-01-22 Paper Algebraic properties of substitution...10 bytes (17 words) - 08:09, 25 September 2023
- Paper Extracting Kolmogorov complexity with applications to dimension zero-one laws 2011-04-28 Paper Robustness of PSPACE-complete sets 2010-03-24 Paper...10 bytes (13 words) - 22:05, 24 September 2023
- Hour with fixed blocks is PSPACE-complete 2023-02-07 Paper Walking through doors is hard, even without staircases: proving PSPACE-hardness via planar assemblies...10 bytes (17 words) - 14:25, 9 December 2023
- $\mathcal{EL}$ 2009-03-06 Paper The Complexity of Conjunctive Query Answering in Expressive Description Logics 2008-11-27 Paper The Complexity of Enriched Mu-Calculi...10 bytes (15 words) - 11:42, 7 October 2023
