Detecting Isohedral Polyforms with a SAT Solver
<|reference_start|>Detecting Isohedral Polyforms with a SAT Solver: I show how to express the question of whether a polyform tiles the plane isohedrally as a Boolean formula that can be tested using a SAT solver. This approach is adaptable to a wide range of polyforms, requires no special-case code for different isohedral tiling types, and integrates seamlessly with existing software for computing Heesch numbers of polyforms.<|reference_end|>
@article{kaplan2024detecting,
    title={Detecting Isohedral Polyforms with a SAT Solver},
    author={Craig S. Kaplan (University of Waterloo)},
    journal={EPTCS 403, 2024, pp. 118-122},
    year={2024},
    doi={10.4204/EPTCS.403.25},
    archivePrefix={arXiv},
    eprint={2406.16407},
    primaryClass={cs.DM cs.CG}
}