TY  - RPRT
TI  - A new algorithm for Solving 3-CNF-SAT problem
AU  - Belal Qasemi
PY  - 2017
UR  - https://arxiv.org/abs/1704.01396
ID  - 1704.01396
ER  -