TY  - RPRT
TI  - Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
AU  - Xiangyu Guo
AU  - Ajay Bansal
PY  - 2025
UR  - https://arxiv.org/abs/2510.04049
ID  - 2510.04049
ER  -