TY - RPRT TI - A novel approach of solving the CNF-SAT problem AU - Xili Wang PY - 2013 UR - https://arxiv.org/abs/1307.6291 ID - 1307.6291 ER -