Automated search for highly contextual Kochen-Specker proofs
यह शोध पत्र प्रति-क्रमविनिमेय (anticommutation) ग्राफ और उनके संबद्ध हाइपरग्रामों की गणना करके अत्यधिक प्रासंगिक कोचेन-स्पेक्टर (Kochen-Specker) प्रमाणों की खोज के लिए एक स्वचालित, ग्राफ-सैद्धांतिक पाइपलाइन प्रस्तुत करता है, जो ज्ञात विन्यासों को सफलतापूर्वक पुनर्प्राप्त करता है और की काफी बेहतर त्रुटि सहनशीलता के साथ नए अवस्था-स्वतंत्र प्रासंगिकता परीक्षण प्रदान करता है।