TY  - RPRT
TI  - Making $\textsf{IP}=\textsf{PSPACE}$ Practical: Efficient Interactive Protocols for BDD Algorithms
AU  - Eszter Couillard
AU  - Philipp Czerner
AU  - Javier Esparza
AU  - Rupak Majumdar
PY  - 2023
DO  - 10.1007/978-3-031-37709-9_21
UR  - https://arxiv.org/abs/2305.11813
ID  - 2305.11813
ER  -