The Hat, the Spectre and SAT Solvers (2024)
a year ago
- #SAT solvers
- #aperiodic tiling
- #mathematics
- 关于使用单一非周期瓷砖（帽子形）和SAT求解器的非周期平铺入门介绍
- SAT求解器及其在布尔代数问题中应用的原理说明
- 在WASM环境中使用SAT求解器解决数独等实际问题的实践指南
- SAT求解器在瓷砖问题中的应用——以帽子形和龟形瓷砖为例
- 真正的手性非周期单瓷砖Spectre的数学意义及其引入
- 使用Hats应用程序探索平铺模式与解决平铺问题的实用教程
- 关于非周期平铺与SAT求解器的原始文献及延伸阅读资料索引