A new SAT + NAUTY framework performs the first exhaustive search of KS sets up to 33 rays containing the 25-ray SI-C set, verifying the Schütte 33-ray set as the smallest such 3D example with DRAT proof certificates.
Two fundamental solutions to the rigid Kochen- Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption.Phys
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
A new SAT + NAUTY framework performs the first exhaustive search of KS sets up to 33 rays containing the 25-ray SI-C set, verifying the Schütte 33-ray set as the smallest such 3D example with DRAT proof certificates.