TY  - RPRT
TI  - Detecting Isohedral Polyforms with a SAT Solver
AU  - Craig S. Kaplan
PY  - 2024
DO  - 10.4204/eptcs.403.25
UR  - https://arxiv.org/abs/2406.16407
ID  - 2406.16407
ER  -