SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set

Documenti analoghi

• A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
  di: Li, Zhengyu, et al.
  Pubblicazione: (2023)
• Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
  di: Trandafir, Stefan, et al.
  Pubblicazione: (2025)
• Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies
  di: Trandafir, Stefan, et al.
  Pubblicazione: (2024)
• Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
  di: Li, Zhengyu, et al.
  Pubblicazione: (2025)
• Reply to Pavičić's 'Comment on "Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies"' (arXiv:2502.13787)
  di: Trandafir, Stefan, et al.
  Pubblicazione: (2025)