Схожие документы

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