Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar. Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 437-458, Springer, 2023. [doi]

This author has not been identified. Look up 'Eszter Couillard' in GoogleThis author has not been identified. Look up 'Philipp Czerner' in GoogleThis author has not been identified. Look up 'Javier Esparza' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in Google

runs on WebDSL