Stochastic Local Search for Solving Floating-Point Constraints.

Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric

Browse the full CAV paper archive.