References

On searching for Small Kochen-Specker Vector System by Felix Arends, Joel Ouaknine and Charles W Wampler [ arxiv ]
The simplest Kochen-Specker set by Adán Cabello [ arxiv ]
The Algebraic Landscape of Kochen-Specker Sets in Dimension Three by Michael Kernaghan [ arxiv ]
Co-Certificate Learning with SAT Modulo Symmetries by Markus Kirchweger, Tomáš Peitl and Stefan Szeider [ arxiv ]
The problem of hidden variables in quantum mechanics by Simom Kochen and EP Specker [ springer ]
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem by Zhengyu Li, Curtis Bright and Vijay Ganesh [ arxiv ]
SAT + nauty: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set by Zhengyu Li, Curtis Bright, Stefan Trandafir, Adán Cabello and Vijay Ganesh [ arxiv ]
On Bell non-locality without probabilities: more curious geometry by Roger Penrose
Two simple proofs of the Kochen-Specker theorem by Asher Peres [ iop ]
Quantum Theory: Concepts and Methods (describes the Conway-Kochen 31-vector set) by Asher Peres [ springer ]
Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound by Shayaan Siddique and Ibrahim Mian [ arxiv ]
Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption by Stefan Trandafir and Adán Cabello [ arxiv ]
A Kochen-Specker system has at least 22 vertices by Sander Uijlen and Bas Westerbaan [ arxiv ] [ paper ]
Maximal non-Kochen-Specker sets and a lower bound on the size of Kochen-Specker sets by Tom Williams and Andrei Constantin [ arxiv ]

kochen-specker.info