Miller, H. Counting Knot Mosaics With ALLSAT (Student Abstract). AAAI 2024, 37, 16284-16285.