@misc{indiciae423071500cfc,
  title = {A Hypergraph Container Method for Spread SAT: Approximation and Speedup},
  author = {Zicheng Han and Yupeng Lin and Jie Ma and Xiande Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2604.15031},
  note = {Source identifier: 2604.15031}
}