Login / Signup

GO Is PSPACE Hard

David LichtensteinMichael Sipser
Published in: FOCS (1978)
Keyphrases
  • social networks
  • computational complexity
  • search space
  • special case
  • end users
  • temporal logic