Jump to:

home
/ projects
/ tqbfip

TQBFIP

Projects | 2022 | Links: GitHub

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

About

Computer Science student & backend developer

Social:

GitHub
Email
Telegram
LinkedIn
Instagram

Other Projects

PresMonDec

Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences Continue reading PresMonDec

TonelliShanks

Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number Continue reading TonelliShanks

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

ZeroBone

I am a computer science student and a backend developer

Navigation:

Blog
Projects

Social:

GitHub
Email
Telegram
LinkedIn
Instagram

Templates (for web app):