Li, Z.; Bright, C.; Ganesh, V. A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). AAAI 2024, 38, 23559-23560.