satisfiability cook's theorem np complete np hard np p
See more