The Hat, the Spectre and SAT Solvers (2024)
nhatcher.comSat, Jan 27, 2024 16-minute read 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 … Read more