Fixed Parameter Undecidability for Wang Tilesets

Emmanuel Jeandel Nicolas Rolin

Published in: AUTOMATA & JAC (2012)

Keyphrases

description logics
probabilistic planning
texture synthesis
answering queries
query containment
information retrieval
genetic algorithm
computer vision
reinforcement learning
data structure
computational complexity
query answering