1 citations · 2 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
An Experiment of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic
Ruo Ando, Yoshiyasu Takefuji
In this paper, we present an experiment of our randomized hints strategy of automated reasoning for yielding Axiom(5) from Axiom(1)(2)(3)(4) of Infinite-Valued Lukasiewicz Logic. I…
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…