Citation:
Z. Li, Bright, C. , and Ganesh, V. , “A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem”, in Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024, 2024, pp. 1898–1906.
