FMCAD 2016¶

• Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker: Accurate ICP-based Floating-Point Reasoning (PDF pages 177 - 184), FMCAD 2016

• FP benchmarks

• FMCAD 2016 solver binaries