@misc{indiciaeffc8533f790f,
  title = {Scalable Floating-Point Satisfiability via Staged Optimization},
  author = {Yuanzhuo Zhang and Zhoulai Fu and Binoy Ravindran},
  year = {2026},
  url = {https://arxiv.org/abs/2601.04492},
  note = {Source identifier: 2601.04492}
}