BPP has Subexponential Time Simulation unless EXPTIME has Pubishable Proofs.

László Babai Noam Nisan

Published in: Computational Complexity Conference (1991)

Keyphrases

upper bound
bit rate
description logics
numerical simulations
simulation model
markov chain
decision problems
simulation study
high frequency
theorem proving
simulation environment
fixpoint
simulation models
expressive description logics