@misc{indiciae630dc5572684,
  title = {Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras},
  author = {Anuj Dawar and Nihil Shah},
  year = {2026},
  url = {https://arxiv.org/abs/2602.24164},
  note = {Source identifier: 2602.24164}
}