Abstract
We reduce non-deterministic time T >= 2(n) to a 3SAT instance phi quasilinear size | phi| = T center dot log(O(1)) Tsuch that there is an explicit ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
