A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem

Li et al. "A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem." International Joint Conference on Artificial Intelligence, 2024.

[Li et al. "A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/li2024ijcai-sat/)

@inproceedings{li2024ijcai-sat,
  title     = {{A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem}},
  author    = {Li, Zhengyu and Bright, Curtis and Ganesh, Vijay},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {1898-1906},
  url       = {https://mlanthology.org/ijcai/2024/li2024ijcai-sat/}
}