Koji Tabata, Atsuyoshi Nakamura, Junya Honda, Tamiki Komatsuzaki, “A bad arm existence checking problem: How to utilize asymmetric problem structure?” was published