Date: 2017-09-02 14:08:49Mathematics Theoretical computer science Constraint programming Functions and mappings Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Rounding Limit of a function Function | | Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, FranceAdd to Reading ListSource URL: smt-workshop.cs.uiowa.eduDownload Document from Source Website File Size: 337,25 KBShare Document on Facebook
|