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} }

本页面没有标签
本页面最近更新:2020/05/21更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面的全部内容在 CC BY-SA 4.0 SATA 协议之条款下提供,附加条款亦可能应用

Copyright © 2016 - 2020 PKU Scholar

最近更新: 52aade4, 2020-05-21