Login / Signup

Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions.

Alessandro CimattiAlberto GriggioAhmed IrfanMarco RoveriRoberto Sebastiani
Published in: SYNASC (2018)
Keyphrases
  • arithmetic operations
  • incremental learning
  • satisfiability problem
  • nonlinear functions
  • data driven
  • genetic algorithm
  • np complete
  • floating point
  • data sets
  • highly nonlinear
  • complementarity problems