@misc{indiciae7dd0e5bdd557,
  title = {Local Search For Satisfiability Modulo Integer Arithmetic Theories},
  author = {Shaowei Cai and Bohan Li and Xindi Zhang},
  year = {2023},
  url = {https://arxiv.org/abs/2211.10219},
  note = {Source identifier: 2211.10219}
}