Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu. (2+ f(n))-SAT and Its Properties. In Oscar H. Ibarra, Louxin Zhang, editors, Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings. Volume 2387 of Lecture Notes in Computer Science, pages 28-36, Springer, 2002. [doi]
Abstract is missing.