Detecting Isohedral Polyforms with a SAT Solver

Craig S. Kaplan

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 wid…