2015 Volume 23 Issue 3 Pages 305-309
Three-point tiling is the problem to cover all the lattice points in a triangular region of the triangular lattice with triangle tiles that connect three adjacent lattice points. All the lattice points must be used by exactly one triangle tile. In this paper, we enumerate all the solutions and rotation symmetric solutions using ordered binary decision diagrams. In addition, the number of essentially different solutions, any two of which do not become identical by rotating and turning over, is computed.