TY  - RPRT
TI  - Scalable Floating-Point Satisfiability via Staged Optimization
AU  - Yuanzhuo Zhang
AU  - Zhoulai Fu
AU  - Binoy Ravindran
PY  - 2026
UR  - https://arxiv.org/abs/2601.04492
ID  - 2601.04492
ER  -