Is it possible that $overline{SAT} in NTIME(exp(n^{0.9}))$ ?
Are there interesting consequences of such containment?
Would it contradict the Exponential Time Hypothesis?
↧
$overline{SAT} in NTIME(subexp)$?
↧