TY  - RPRT
TI  - A Kochen-Specker system has at least 22 vectors (extended abstract)
AU  - Sander Uijlen
AU  - Bas Westerbaan
PY  - 2014
DO  - 10.4204/eptcs.172.11
UR  - https://arxiv.org/abs/1412.8544
ID  - 1412.8544
ER  -