Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract)
Keywords:Sat, Topology, Theory
AbstractMathematical knots are interesting topological objects. Using simple arcs, lines, and crossings drawn on eleven possible tiles, knot mosaics are a representation of knots on a mosaic board. Our contribution is using SAT solvers as a tool for enumerating nontrivial knot mosaics. By encoding constraints for local knot mosaic properties, we computationally reduce the search space by factors of up to 6600. Our future research directions include encoding constraints for global properties and using parallel SAT techniques to attack larger boards.
How to Cite
Miller, H. (2022). Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, 36(11), 13017-13018. https://doi.org/10.1609/aaai.v36i11.21645
AAAI Student Abstract and Poster Program