Scalable Floating-Point Satisfiability via Staged Optimization

Yuanzhuo Zhang, Zhoulai Fu, Binoy Ravindran

This work introduces StageSAT, a new approach to solving floating-point satisfiability that bridges SMT solving with numerical optimization. StageSAT reframes a floating-point form…