TY  - RPRT
TI  - A Hypergraph Container Method for Spread SAT: Approximation and Speedup
AU  - Zicheng Han
AU  - Yupeng Lin
AU  - Jie Ma
AU  - Xiande Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2604.15031
ID  - 2604.15031
ER  -