Undecidability of tiling the plane with a fixed number of Wang bars.

Chao Yang Zhujun Zhang

Published in: CoRR (2024)

Keyphrases

fixed number
description logics
three dimensional
finite number
partial ordering
probabilistic planning
objective function
upper bound
raster images