TY  - RPRT
TI  - A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes
AU  - Chao Yang
AU  - Zhujun Zhang
PY  - 2024
DO  - 10.1007/s00454-024-00706-1
UR  - https://arxiv.org/abs/2403.13472
ID  - 2403.13472
ER  -