From k-SAT to k-CSP: Two Generalized Algorithms
http://arxiv.org/abs/0801.3147
@article{DBLP:journals/corr/abs-0801-3147,
author = {Liang Li and
Xin Li and
Tian Liu and
Ke Xu},
title = {From k-SAT to k-CSP: Two Generalized Algorithms},
journal = {CoRR},
volume = {abs/0801.3147},
year = {2008},
url = {http://arxiv.org/abs/0801.3147},
archivePrefix = {arXiv},
eprint = {0801.3147},
timestamp = {Mon, 03 Sep 2018 00:14:34 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0801-3147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签