TY - RPRT TI - Automated generation of Kochen-Specker sets AU - Mladen Pavicic AU - Mordecai Waegell AU - Norman D. Megill AU - P. K. Aravind PY - 2019 DO - 10.1038/s41598-019-43009-9 UR - https://arxiv.org/abs/1905.01009 ID - 1905.01009 ER -