47 citations · 102 across the 10 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2022
An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation
Ruo Ando, Yoshiyasu Takefuji
In this paper, we present a curious experiment with the hot list strategy in solving sliding block puzzles by paramodulation. The hot list strategy is one of the look-ahead strateg…
cs.CC2020
A new perspective of paramodulation complexity by solving massive 8 puzzles
Ruo Ando, Yoshiyasu Takefuji
A sliding puzzle is a combination puzzle where a player slide pieces along certain routes on a board to reach a certain end-configuration. In this paper, we propose a novel measure…