Solving Floating-Point Constraints with Continuous Optimization

Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang
June, 2025
Cite DOI URL
Type
Journal article
Publication
Proceedings of the ACM on Programming Languages, Volume 9, Issue PLDI
Floating-Point Constraint Solving Gradient Descent Mathmatical Optimizations