A Kochen-Specker System Has at Least 22 Vectors

Sander Uijlen, Bas Westerbaan. A Kochen-Specker System Has at Least 22 Vectors. New Generation Comput., 34(1-2):3-23, 2016. [doi]

Abstract

Abstract is missing.