@misc{indiciae8003c327a46b,
  title = {Color Structures and the Monotone Satisfiability Problem with Bounded Variable Occurrence},
  author = {Hannah Van Santvliet and Ronald de Haan},
  year = {2026},
  url = {https://arxiv.org/abs/2311.06563},
  note = {Source identifier: 2311.06563}
}