New answers tagged decision-problem
4
votes
Accepted
Why is 3-co-SAT not in P?
co-SAT is not asking whether there exists an unsatisfying assignment, it is asking if every assignment evaluates to false.
- 14.3k
Top 50 recent answers are included