Satisfying a conjunctive normal form (CNF) formula for a 3-SAT problem using backtrack search
ShahVishwa/Satisfiability-Problem-using-Backtrack-Search
Satisfying a conjunctive normal form (CNF) formula for a 3-SAT problem using backtrack search
Java