TY - RPRT TI - Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability AU - Nicolás Bitar PY - 2023 UR - https://arxiv.org/abs/2312.08911 ID - 2312.08911 ER -