TY  - RPRT
TI  - SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
AU  - Zhengyu Li
AU  - Curtis Bright
AU  - Stefan Trandafir
AU  - Adán Cabello
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2604.19947
ID  - 2604.19947
ER  -