Miller, Hannah. 2022. “Enumerating Nontrivial Knot Mosaics With SAT (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (11):13017-18. https://doi.org/10.1609/aaai.v36i11.21645.