The Hat, the Spectre and SAT Solvers (2024)
a year ago
- #SAT solvers
- #aperiodic tiling
- #mathematics
- Introduction to aperiodic tilings with a single monotile (the Hat) and SAT solvers.
- Explanation of SAT solvers and their application in solving boolean algebra problems.
- Guide on using a SAT solver in WASM for practical applications like solving Sudoku puzzles.
- Application of SAT solvers to tiling problems, specifically using the Hat and Turtle shapes.
- Introduction of the Spectre, a true chiral aperiodic monotile, and its mathematical significance.
- Practical guide on using the Hats app to explore tiling patterns and solve tiling problems.
- References to original sources and further reading on aperiodic tilings and SAT solvers.