Miller, Hannah. 2024. “Counting Knot Mosaics With ALLSAT (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (13):16284-85. https://doi.org/10.1609/aaai.v37i13.27002.