Back to article IJET Polynomial Exact-3-SAT-Solving Algorithm Download Download PDF