OnP-subset structures (Q3789542): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Bi-immune sets for complexity classes
@@ Property / cites work: Bi-immune sets for complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Relative to a Random Oracle<i>A</i>, ${\bf P}^A \ne {\bf NP}^A \ne \text{co-}{\bf NP}^A $ with Probability 1
+Normal rank
@@ Property / cites work @@
+On Isomorphisms and Density of $NP$ and Other Complete Sets
+Normal rank
@@ Property / cites work @@
+On splitting recursive sets
@@ Property / cites work: On splitting recursive sets / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3760533
@@ Property / cites work: Q3760533 / rank @@
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Oracle-dependent properties of the lattice of NP sets
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness, Approximation and Density
@@ Property / cites work: Completeness, Approximation and Density / rank @@
+Normal rank
@@ Property / cites work @@
+On Reducibility to Complex or Sparse Sets
@@ Property / cites work: On Reducibility to Complex or Sparse Sets / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of complexity core lattices
@@ Property / cites work: A classification of complexity core lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Approximations and Polynomially Levelable Sets
+Normal rank
@@ Property / cites work @@
+The density and complexity of polynomial cores for intractable sets
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Immunity, Relativizations, and Nondeterminism
@@ Property / cites work: Immunity, Relativizations, and Nondeterminism / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01692061
+Normal rank
@@ Property / OpenAlex ID @@
+W1518286242
@@ Property / OpenAlex ID: W1518286242 / rank @@
+Normal rank