(2+f(n))-SAT and its properties.
https://doi.org/10.1016/S0166-218X(03)00194-X
@article{DBLP:journals/dam/ZhaoDLZ04,
author = {Yunlei Zhao and
Xiaotie Deng and
Chan H. Lee and
Hong Zhu},
title = {(2+f(n))-SAT and its properties},
journal = {Discret. Appl. Math.},
volume = {136},
number = {1},
pages = {3--11},
year = {2004},
url = {https://doi.org/10.1016/S0166-218X(03)00194-X},
doi = {10.1016/S0166-218X(03)00194-X},
timestamp = {Mon, 04 May 2020 13:17:46 +0200},
biburl = {https://dblp.org/rec/journals/dam/ZhaoDLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签