Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification. - Wenda Leng; Meihua Liu; Yufeng Jin (TASE, 2025)