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

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani

Browse the full SYNASC paper archive.