Counting Knot Mosaics with ALLSAT (Student Abstract)

Authors

  • Hannah Miller Rochester Institute of Technology

DOI:

https://doi.org/10.1609/aaai.v37i13.27002

Keywords:

Applications Of AI, Automated Reasoning, Logic

Abstract

Knot 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.
AAAI-23 Proceedings Cover

Downloads

Published

2023-09-06

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

Issue

Vol. 37 No. 13: AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations

Section

AAAI Student Abstract and Poster Program