TY  - RPRT
TI  - Efficient Local Search for Nonlinear Real Arithmetic
AU  - Zhonghan Wang
AU  - Bohua Zhan
AU  - Bohan Li
AU  - Shaowei Cai
PY  - 2023
UR  - https://arxiv.org/abs/2311.14249
ID  - 2311.14249
ER  -