FPRoCK Rocco Salvia, Marco A. Feliu, and Laura Titolo Jun 23, 2018 Code Publications A Mixed Real and Floating-Point Solver Rocco Salvia, Laura Titolo, Marco A. Feliu, Mariano M. Moscato, César A. Muñoz, and Zvonimir Rakamaric PDF Cite Project DOI