Counting Knot Mosaics with ALLSAT (Student Abstract)
Keywords:Applications Of AI, Automated Reasoning, Logic
AbstractKnot mosaics are a model of a quantum knot system. A knot mosaic is a m-by-n grid where each location on the grid may contain any of 11 possible tiles such that the final layout has closed loops. Oh et al. proved a recurrence relation of state matrices to count the number of m-by-n knot mosaics. Our contribution is to use ALLSAT solvers to count knot mosaics and to experimentally try different ways to encode the AT MOST ONE constraint in SAT. We plan to use our SAT method as a tool to list knot mosaics of interest for specific classes of knots.
How to Cite
Miller, H. (2023). Counting Knot Mosaics with ALLSAT (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, 37(13), 16284-16285. https://doi.org/10.1609/aaai.v37i13.27002
AAAI Student Abstract and Poster Program