PSPACE-Completeness

Williams, R. (2020). PSPACE-Completeness.

Type

Web resource

Intellectual base

Web

Year

2020

Link

https://people.csail.mit.edu/rrw/6.045-2020/lec21-color.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Formula Game
  • It coincides with `TQBF`, the true quantified Boolean formula problem, and is PSPACE-complete.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:f9dd80488103 · see in the full table