Solving satisfiability in the tile assembly model with a constant-size tileset

Yuriy Brun. Solving satisfiability in the tile assembly model with a constant-size tileset. J. Algorithms, 63(4):151-166, 2008. [doi]

Abstract

Abstract is missing.