Z. Li, C. Bright, and V. Ganesh, “A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)”, AAAI, vol. 38, no. 21, pp. 23559-23560, Mar. 2024.