Zhengyu Li, Curtis Bright, Vijay Ganesh. An SC-Square Approach to the Minimum Kochen-Specker Problem. In Ali Kemal Uncu, Haniel Barbosa, editors, 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. Volume 3458 of CEUR Workshop Proceedings, pages 55-66, CEUR-WS.org, 2022. [doi]
@inproceedings{LiBG22,
title = {An SC-Square Approach to the Minimum Kochen-Specker Problem},
author = {Zhengyu Li and Curtis Bright and Vijay Ganesh},
year = {2022},
url = {https://ceur-ws.org/Vol-3458/paper6.pdf},
researchr = {https://researchr.org/publication/LiBG22},
cites = {0},
citedby = {0},
pages = {55-66},
booktitle = {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},
editor = {Ali Kemal Uncu and Haniel Barbosa},
volume = {3458},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}