Xinpeng Ni, Tianyi Ding, Bican Xia. Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA. In Étienne André, Jingyi Wang 0004, Naijun Zhan, editors, Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings. Volume 16229 of Lecture Notes in Computer Science, pages 329-347, Springer, 2025. [doi]
Abstract is missing.