Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras.

Anuj Dawar, Nihil Shah

Browse the full LICS paper archive.