Z. Li, Bright, C. , and Ganesh, V. , “A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)”, in Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-, 2024, pp. 23559–23560.