Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols
for BDD Algorithms
E. Couillard, P. Czerner, J. Esparza, und R. Majumdar. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, Volume 13966 von Lecture Notes in Computer Science, Seite 437--458. Springer, (2023)
DOI: 10.1007/978-3-031-37709-9_21