More decidable instances of Post's correspondence problem: beyond counting.

Published in: Inf. Process. Lett. (2008)

Keyphrases

shape correspondence
randomly generated
transitive closure
neural network
computer vision
correspondence matching
evolutionary algorithm
feature matching
lower and upper bounds
plan existence