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