@misc{indiciaeabbda96040dc,
  title = {Local Search For SMT On Linear and Multilinear Real Arithmetic},
  author = {Bohan Li and Shaowei Cai},
  year = {2023},
  url = {https://arxiv.org/abs/2303.06676},
  note = {Source identifier: 2303.06676}
}