Clemens Büchner

1 papers · 2023–2023 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (12) 🏆 Keyword Champion

Conferences

AAAI (1)

Top co-authors

Augusto B. Corrêa (1) Remo Christen (1)

Research topics

Keywords

polynomial time (1) zero-knowledge proof (1) cryptographic protocol (1) classical planning (1) plan existence (1) privacy-preserving computation (1)

Papers

Zero-Knowledge Proofs for Classical Planning Problems AAAI 2023