(2+ f(n))-SAT and Its Properties

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]

Authors

Xiaotie Deng

This author has not been identified. Look up 'Xiaotie Deng' in Google

Chan H. Lee

This author has not been identified. Look up 'Chan H. Lee' in Google

Yunlei Zhao

This author has not been identified. Look up 'Yunlei Zhao' in Google

Hong Zhu

This author has not been identified. Look up 'Hong Zhu' in Google