CNF satisfiability

views updated

CNF satisfiability See P=NP question.