H. Miller, “Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract)”, AAAI, vol. 36, no. 11, pp. 13017-13018, Jun. 2022.