The Hat, the Spectre and SAT Solvers (2024)
The Hat, the Spectre and SAT Solvers Introduction In this blog post you are going to read about two things: A new flashy discovery in mathematics: aperiodic tilings of the plane with a single monotile SAT solvers. A family of not so well known algorithms in computer science Hopefully by the end of the post you will know a fair amount about the hat, the turtle and the spectres and have another powerful tool under your belt, SAT solvers. Thus, you can see this post either as an exercise in r