Miller H. Counting Knot Mosaics with ALLSAT (Student Abstract). AAAI [Internet]. 2024 Jul. 15 [cited 2026 Jul. 11];37(13):16284-5. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/27002