@conference {DBLP:conf/ijcai/0002B024,
	title = {A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem},
	booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024},
	year = {2024},
	pages = {1898{\textendash}1906},
	publisher = {ijcai.org},
	organization = {ijcai.org},
	url = {https://www.ijcai.org/proceedings/2024/210},
	author = {Zhengyu Li and Curtis Bright and Vijay Ganesh}
}
