The 3-SATISFIABILITY problem — determining whether a set of logical clauses, each containing three variables, can all be ...