Miller, H. Enumerating Nontrivial Knot Mosaics With SAT (Student Abstract). AAAI 2022, 36, 13017-13018.