Zero-Knowledge Proofs for Classical Planning Problems.

Augusto B. Corra, Clemens Bchner, Remo Christen

Browse the full AAAI paper archive.