%0 Conference Paper %1 DBLP:conf/cav/CouillardCEM23 %A Couillard, Eszter %A Czerner, Philipp %A Esparza, Javier %A Majumdar, Rupak %B Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K conference %P 437--458 %R 10.1007/978-3-031-37709-9_21 %T Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms %U https://doi.org/10.1007/978-3-031-37709-9_21 %V 13966

@inproceedings{DBLP:conf/cav/CouillardCEM23, added-at = {2023-09-24T15:19:20.000+0200}, author = {Couillard, Eszter and Czerner, Philipp and Esparza, Javier and Majumdar, Rupak}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/21562faacb7a297dbcb2a39e9eddb76ef/paves}, booktitle = {Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III}, doi = {10.1007/978-3-031-37709-9_21}, editor = {Enea, Constantin and Lal, Akash}, interhash = {738f115f9ddcba30768ea70f35658fbc}, intrahash = {1562faacb7a297dbcb2a39e9eddb76ef}, keywords = {conference}, pages = {437--458}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-09-24T16:33:26.000+0200}, title = {Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms}, url = {https://doi.org/10.1007/978-3-031-37709-9_21}, volume = 13966, year = 2023 }