A Hypergraph Container Method on Spread SAT: Approximation and Speedup. - Zicheng Han; Yupeng Lin; Jie Ma; Xiande Zhang (CoRR, 2026)