Reduction to Model Checking
We know that NP is contained in PSPACE, so we can solve all NP-Complete problems with a PSPAPCE-Complete solver.
Let's try model checking
We know that NP is contained in PSPACE, so we can solve all NP-Complete problems with a PSPAPCE-Complete solver.
Let's try model checking