TY  - RPRT
TI  - A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
AU  - Tianyi Ding
AU  - Haokun Li
AU  - Xinpeng Ni
AU  - Bican Xia
AU  - Tianqi Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2507.00557
ID  - 2507.00557
ER  -