Felix Arends, Joël Ouaknine, Charles W. Wampler. On Searching for Small Kochen-Specker Vector Systems. In Petr Kolman, Jan Kratochvíl, editors, Graph-Theoretic Concepts in Computer Science - 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers. Volume 6986 of Lecture Notes in Computer Science, pages 23-34, Springer, 2011. [doi]
Abstract is missing.