On Searching for Small Kochen-Specker Vector Systems.

Felix Arends, Jol Ouaknine, Charles W. Wampler

Browse the full WG paper archive.