A new algorithm for Solving 3-CNF-SAT problem. - Belal Qasemi (CoRR, 2017)