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

Zhengyu Li, Curtis Bright, Vijay Ganesh

Browse the full IJCAI paper archive.