TY  - RPRT
TI  - Accelerating Floating-Point Satisfiability Solving via Gradient Normalization
AU  - Yuanzhuo Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2610.08808
ID  - 2610.08808
ER  -