TQBFIP

TQBFIP

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


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