Robust simulations and significant separations (Q2407096): Difference between revisions

From MaRDI portal
Merged Item from Q3012833
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4440438 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-deterministic exponential time has two-prover interactive protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unconditional Lower Bounds against Advice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4258566 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Short propositional formulas represent nondeterministic computations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniformly hard languages. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time-space lower bounds for satisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time-space tradeoffs for satisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: In search of an easy witness: Exponential time vs. probabilistic polynomial time. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4526985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Easiness assumptions and hardness tests: Trading time for zero error / rank
 
Normal rank
Property / cites work
 
Property / cites work: Circuit-size lower bounds and non-reducibility to sparse sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Turing machines that take advice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph nonisomorphism has subexponential size proofs unless the polynomial-time hierarchy collapses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hardness vs randomness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3758729 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Natural proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3549623 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Separating Nondeterministic Time Complexity Classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the circuit complexity of PP / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generic time hierarchy with one bit of advice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Improving exhaustive search implies superpolynomial lower bounds / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Turing machine time hierarchy / rank
 
Normal rank

Latest revision as of 06:51, 4 July 2024

scientific article; zbMATH DE number 5917993
  • Robust Simulations and Significant Separations
Language Label Description Also known as
English
Robust simulations and significant separations
scientific article; zbMATH DE number 5917993
  • Robust Simulations and Significant Separations

Statements

Robust simulations and significant separations (English)
0 references
Robust Simulations and Significant Separations (English)
0 references
0 references
0 references
0 references
0 references
28 September 2017
0 references
6 July 2011
0 references
0 references
0 references
0 references
0 references
0 references