Corrêa, A. B., Büchner, C., & Christen, R. (2023). Zero-Knowledge Proofs for Classical Planning Problems. Proceedings of the AAAI Conference on Artificial Intelligence, 37(10), 11955–11962. https://doi.org/10.1609/aaai.v37i10.26410