Z. Li, Bright, C. , and Ganesh, V. , “An SC-Square Approach to the Minimum Kochen-Specker Problem”, in Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022, 2022, vol. 3458, pp. 55–66.