Floating-Point Constraint Solving

Solving Floating-Point Constraints with Continuous Optimization
Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang
Cite DOI URL