Inproceedings,
Zero-Knowledge Proofs for Classical Planning Problems.
A. Corrêa, C. Büchner, and R. Christen.AAAI, page 11955-11962. AAAI Press, (2023)
Meta data
- BibTeX key
- conf/aaai/CorreaBC23
- entry type
- inproceedings
- booktitle
- AAAI
- year
- 2023
- pages
- 11955-11962
- publisher
- AAAI Press
- crossref
- conf/aaai/2023
- ee
- https://doi.org/10.1609/aaai.v37i10.26410
- isbn
- 978-1-57735-880-0
- url
- http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#CorreaBC23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}