Li, Z., C. Bright, and V. Ganesh. “A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 21, Mar. 2024, pp. 23559-60, doi:10.1609/aaai.v38i21.30472.