TQBFIP

TQBFIP

Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE


Copyright © 2019 — 2025 Alexander Mayorov. All rights reserved.