The 4-way deterministic tiling problem is undecidable.

Ville Lukkarila

Published in: Theor. Comput. Sci. (2009)

Keyphrases

sufficient conditions
black box
databases
data mining
data structure
real world
multiresolution
np complete
model checking
integrity constraints
datalog programs