Show that TQBF restricted to formulas where the part
Chapter , Problem 8.12(choose chapter or problem)
Show that TQBF restricted to formulas where the part following the quantiers is in conjunctive normal form is still PSPACE-complete.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer