1. A probabilistic-time hierarchy theorem for “slightly non-uniform” algorithms;Barak,2002
2. Non-deterministic exponential time has two-prover interactive protocols;Babai;Comput. Complex.,1991
3. Unconditional lower bounds against advice;Buhrman,2009
4. Nonrelativizing separations;Buhrman,1998
5. S2P⊆ZPPNP;Cai;J. Comput. Syst. Sci.,2007