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.

翻译：本文展示了如何将多形式是否能够等面铺砌平面的问题表达为可通过SAT求解器检验的布尔公式。该方法适用于多种多形式，无需针对不同等面铺砌类型编写特殊代码，且能与计算多形式Heesch数的现有软件实现无缝集成。