I've been reading lately about SAT problem, NP and co-NP.
Many sources say that the SAT problem is co NP, though, I can't find a co-NP problem equivalent to SAT.
Does anyone have any idea about this ? (Or could lighten my misunderstandings)
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.Sign up to join this community