satisfiability problem

views updated

satisfiability problem See P=NP question.