An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation.

Ruo Ando Yoshiyasu Takefuji

Published in: CoRR (2022)

Keyphrases

heat flow
data streams
computational complexity
motion estimation
image quality
theorem proving
space complexity
diffusion process
block matching