@misc{indiciae4713798d7914,
  title = {Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving},
  author = {Aaron Bembenek and Toby Murray},
  year = {2026},
  url = {https://arxiv.org/abs/2603.27107},
  note = {Source identifier: 2603.27107}
}