A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem

Zhengyu Li, Curtis Bright, Vijay Ganesh

One of the fundamental results in quantum foundations is the Kochen-Specker (KS) theorem, which states that any theory whose predictions agree with quantum mechanics must be contex…