5 citations · 5 across the 1 of their papers we have counts for
1 paper
Xili Wang
In this paper, we discussed CNF-SAT problem (NP-Complete problem) and analysis two solutions that can solve the problem, the PL-Resolution algorithm and the WalkSAT algorithm. PL-R…