Mathematical characterizations and computational complexity of anti-slide puzzles. - Ko Minamisawa; Ryuhei Uehara; Masao Hara (Theor. Comput. Sci., 2023)