Accelerating Floating-Point Satisfiability Solving via Gradient Normalization

arXiv:2610.08808v1 Announce Type: new Abstract: Satisfiability Modulo Theories SMT solvers are foundational to software verification, program analysis, and compiler testing, particularly over the theory of QuantifierFree FloatingPoint QF_FP.