Keyword:Rigorous Global Optimization

Publications
Moving the Needle on Rigorous Floating-Point Precision Tuning Marek Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric and Alexey Solovyev In:Automated Formal Methods