@misc{indiciaef2141dca34b7,
  title = {Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning},
  author = {Omer Rappoport and Orna Grumberg and Yakir Vizel},
  year = {2026},
  url = {https://arxiv.org/abs/2608.05337},
  note = {Source identifier: 2608.05337}
}