@misc{indiciaee2e910d050b4,
  title = {SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set},
  author = {Zhengyu Li and Curtis Bright and Stefan Trandafir and Adán Cabello and Vijay Ganesh},
  year = {2026},
  url = {https://arxiv.org/abs/2604.19947},
  note = {Source identifier: 2604.19947}
}