TY - RPRT TI - A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tile set synthesis AU - Aleck Johnsen AU - Ming-Yang Kao AU - Shinnosuke Seki PY - 2014 UR - https://arxiv.org/abs/1409.1619 ID - 1409.1619 ER -