摘要：用重新解释在实数域上和Tarski代数的时间复杂度上谨慎使用存在性迪欧几里得谓词，我们表明3-CNF SAT 在n^O(log^{gamma} n) 的时间复杂度内，其中gamma是一个绝对正常数。
作者：Bruce Litow
论文ID：1401.7480
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-06-10
PDF 下载： 英文版 中文版pdf翻译中