Rethinking Clause Management for CDCL SAT Solvers. - Yalun Cai; Xindi Zhang 001; Zhengyuan Shi; Mengxia Tao; Qiang Xu 001 (CoRR, 2026)

EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR. - Jiaying Zhu; Baoqi Zhang; Mengxia Tao; Kezhi Li; Hao Yan; Qiang Xu 001; Min Li 019 (CoRR, 2026)