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

Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu

Browse the full COCOON paper archive.