H. Miller, “Counting Knot Mosaics with ALLSAT (Student Abstract)”, AAAI, vol. 37, no. 13, pp. 16284–16285, Jul. 2024.