Miller, H. (2024) “Counting Knot Mosaics with ALLSAT (Student Abstract)”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(13), pp. 16284–16285. doi: 10.1609/aaai.v37i13.27002.