On Simplest Possible Solutions for Post Correspondence Problems.

Alexandru Mateescu Arto Salomaa

Published in: Acta Informatica (1993)

Keyphrases

search procedures
search methods
search algorithm
search heuristics
case study
expert systems
point correspondences
combinatorial problems
solving problems