Satisfiability Modulo Transcendental Functions via Incremental Linearization.

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

Browse the full CADE paper archive.