TY  - RPRT
TI  - From k-SAT to k-CSP: Two Generalized Algorithms
AU  - Liang Li
AU  - Xin Li
AU  - Tian Liu
AU  - Ke Xu
PY  - 2008
UR  - https://arxiv.org/abs/0801.3147
ID  - 0801.3147
ER  -