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.
Every one a winner or how to avoid isomorphism search when cataloguing combinatorial configurations.Annals of Discrete Mathematics, 2:107– 120,
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.