TY  - RPRT
TI  - Local Search For Satisfiability Modulo Integer Arithmetic Theories
AU  - Shaowei Cai
AU  - Bohan Li
AU  - Xindi Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2211.10219
ID  - 2211.10219
ER  -