TY  - RPRT
TI  - Local Search For SMT On Linear and Multilinear Real Arithmetic
AU  - Bohan Li
AU  - Shaowei Cai
PY  - 2023
UR  - https://arxiv.org/abs/2303.06676
ID  - 2303.06676
ER  -