TY  - RPRT
TI  - On Searching for Small Kochen-Specker Vector Systems (extended version)
AU  - Felix Arends
AU  - Joel Ouaknine
AU  - Charles W. Wampler
PY  - 2011
UR  - https://arxiv.org/abs/1111.3301
ID  - 1111.3301
ER  -