Miller, H. 2022. Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence. 36, 11 (Jun. 2022), 13017-13018. DOI:https://doi.org/10.1609/aaai.v36i11.21645.