(2+f(n))-SAT and its properties
β
Yunlei Zhao; Xiaotie Deng; C.H Lee; Hong Zhu
π
Article
π
2004
π
Elsevier Science
π
English
β 223 KB
Consider a formula that contains n variables with the form = 2 β§ 3, where 2 is an instance of 2-SAT containing m2 2-clauses and 3 is an instance of 3-SAT containing m3 3-clauses. is an instance of ( 2 Most interestingly, we give a candidate, (2 + (log n) k =n 2 )-SAT (k ΒΏ 2), for natural problems i