(2+ f(n))-SAT and Its Properties.
https://doi.org/10.1007/3-540-45655-4_5
@inproceedings{DBLP:conf/cocoon/DengLZZ02,
author = {Xiaotie Deng and
Chan H. Lee and
Yunlei Zhao and
Hong Zhu},
editor = {Oscar H. Ibarra and
Louxin Zhang},
title = {{(2+} f(n))-SAT and Its Properties},
booktitle = {Computing and Combinatorics, 8th Annual International Conference,
{COCOON} 2002, Singapore, August 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2387},
pages = {28--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45655-4\_5},
doi = {10.1007/3-540-45655-4\_5},
timestamp = {Mon, 04 May 2020 13:17:48 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/DengLZZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签