- The problem of hidden variables in quantum mechanics
by Simom Kochen and EP Specker
[ springer ]
- On searching for Small Kochen-Specker Vector System
by Felix Arends, Joel Ouaknine and Charles W Wampler
[ arxiv ]
- A Kochen-Specker system has at least 22 vertices
by Sander Uijlen and Bas Westerbaan
[ paper ]
- A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
by Zhengyu Li, Curtis Bright and Vijay Ganesh
[ arxiv ]