Login / Signup
Extension of the decidability of the marked PCP to instances with unique blocks.
Vesa Halava
Tero Harju
Juhani Karhumäki
Michel Latteux
Published in:
Theor. Comput. Sci. (2007)
Keyphrases
</>
randomly generated
description logics
learning algorithm
test instances
information systems
machine learning
artificial intelligence
search space
digital images
linear programming
query answering
stochastic local search