Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. - Eszter Couillard; Philipp Czerner; Javier Esparza; Rupak Majumdar (CAV (3), 2023)

Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. - Eszter Couillard; Philipp Czerner; Javier Esparza; Rupak Majumdar (CoRR, 2023)