%0 Conference Paper %1 conf/aaai/CorreaBC23 %A Corrêa, Augusto B. %A Büchner, Clemens %A Christen, Remo %B AAAI %D 2023 %E Williams, Brian %E Chen, Yiling %E Neville, Jennifer %I AAAI Press %K dblp %P 11955-11962 %T Zero-Knowledge Proofs for Classical Planning Problems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#CorreaBC23 %@ 978-1-57735-880-0

@inproceedings{conf/aaai/CorreaBC23, added-at = {2023-09-04T00:00:00.000+0200}, author = {Corrêa, Augusto B. and Büchner, Clemens and Christen, Remo}, biburl = {https://www.bibsonomy.org/bibtex/28e64e2eeaba0d10acc51cef98c14c636/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2023}, editor = {Williams, Brian and Chen, Yiling and Neville, Jennifer}, ee = {https://doi.org/10.1609/aaai.v37i10.26410}, interhash = {79032010e688dc7f664ff5767ab9a9ad}, intrahash = {8e64e2eeaba0d10acc51cef98c14c636}, isbn = {978-1-57735-880-0}, keywords = {dblp}, pages = {11955-11962}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:07:47.000+0200}, title = {Zero-Knowledge Proofs for Classical Planning Problems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#CorreaBC23}, year = 2023 }