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