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]
@inproceedings{DengLZZ02, title = {(2+ f(n))-SAT and Its Properties}, author = {Xiaotie Deng and Chan H. Lee and Yunlei Zhao and Hong Zhu}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2387/23870028.htm}, researchr = {https://researchr.org/publication/DengLZZ02}, cites = {0}, citedby = {0}, pages = {28-36}, booktitle = {Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings}, editor = {Oscar H. Ibarra and Louxin Zhang}, volume = {2387}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43996-X}, }