Yuriy Brun. Solving satisfiability in the tile assembly model with a constant-size tileset. J. Algorithms, 63(4):151-166, 2008. [doi]
@article{Brun08:0, title = {Solving satisfiability in the tile assembly model with a constant-size tileset}, author = {Yuriy Brun}, year = {2008}, doi = {10.1016/j.jalgor.2008.07.002}, url = {http://dx.doi.org/10.1016/j.jalgor.2008.07.002}, researchr = {https://researchr.org/publication/Brun08%3A0}, cites = {0}, citedby = {0}, journal = {J. Algorithms}, volume = {63}, number = {4}, pages = {151-166}, }