Wenda Leng, Meihua Liu, Yufeng Jin. Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification. In Philipp Rümmer, Zhilin Wu, editors, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings. Volume 15841 of Lecture Notes in Computer Science, pages 143-160, Springer, 2025. [doi]
Abstract is missing.