Todoroki, Shota

1 publications

ALT 2017 An Efficient Query Learning Algorithm for Zero-Suppressed Binary Decision Diagrams Hayato Mizumoto, Shota Todoroki, Diptarama, Ryo Yoshinaka, Ayumi Shinohara