@misc{indiciae8b2e3d53ab0a,
  title = {Integer Reasoning Modulo Different Constants in SMT},
  author = {Elizaveta Pertseva and Alex Ozdemir and Shankara Pailoor and Alp Bassa and Sorawee Porncharoenwase and Işil Dillig and Clark Barrett},
  year = {2025},
  url = {https://arxiv.org/abs/2505.14998},
  note = {Source identifier: 2505.14998}
}