Zhonghan Wang, Bohua Zhan, Bohan Li 0002, Shaowei Cai 0001. Efficient Local Search for Nonlinear Real Arithmetic. In Rayna Dimitrova, Ori Lahav 0001, Sebastian Wolff 0001, editors, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Volume 14499 of Lecture Notes in Computer Science, pages 326-349, Springer, 2024. [doi]
Abstract is missing.