Satisfying a conjunctive normal form (CNF) formula for a 3-SAT problem using backtrack search
shahvishwa / satisfiability-problem-using-backtrack-search Goto Github PK
View Code? Open in Web Editor NEWSatisfying a conjunctive normal form (CNF) formula for a 3-SAT problem using backtrack search