A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).

Zhengyu Li, Curtis Bright, Vijay Ganesh

Browse the full AAAI paper archive.