Scalable Floating-Point Satisfiability via Staged Optimization | ScienceToStartup | ScienceToStartup