The boolean hierarchy: Hardware over NP
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 105-124
- https://doi.org/10.1007/3-540-16486-3_93
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- On sparse oracles separating feasible complexity classesPublished by Springer Nature ,1986
- Computation times of NP sets of different densitiesTheoretical Computer Science, 1984
- Relativized polynomial hierarchies extending two levelsTheory of Computing Systems, 1984
- Sparse sets in NP-PPublished by Association for Computing Machinery (ACM) ,1983
- On the unique satisfiability problemInformation and Control, 1982
- Parity, circuits, and the polynomial-time hierarchyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Relative to a Random OracleA, ${\bf P}^A \ne {\bf NP}^A \ne \text{co-}{\bf NP}^A $ with Probability 1SIAM Journal on Computing, 1981
- Some connections between nonuniform and uniform complexity classesPublished by Association for Computing Machinery (ACM) ,1980
- A second step toward the polynomial hierarchyTheoretical Computer Science, 1979
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971