Sign in

Optimization Modulo the Theory of Floating-Point Numbers.

Patrick TrentinRoberto Sebastiani
Published in: CADE (2019)
Keyphrases
  • floating point
  • square root
  • fixed point
  • sparse matrices
  • instruction set
  • optimization process
  • linear algebra