Multi-state commitment search.

Yasuhiko Kitamura, Makoto Yokoo, Tomohisa Miyaji, Shoji Tatsumi

Browse the full ICTAI paper archive.