TY  - RPRT
TI  - Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning
AU  - Omer Rappoport
AU  - Orna Grumberg
AU  - Yakir Vizel
PY  - 2026
UR  - https://arxiv.org/abs/2608.05337
ID  - 2608.05337
ER  -