The following publications are possibly variants of this publication:
- Lemmas for Satisfiability Modulo Transcendental Functions via Incremental LinearizationAhmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani. scsquare 2019: [doi]
- Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental FunctionsAhmed Irfan. PhD thesis, University of Trento, Italy, 2018. [doi]
- Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functionsAlessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani. synasc 2018: 19-26 [doi]
- Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental FunctionsAlessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani. tocl, 19(3), 2018. [doi]
- An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic LogicMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. TACAS 2005: 317-333 [doi]
- Optimization Modulo Non-linear Arithmetic via Incremental LinearizationFilippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin. frocos 2021: 213-231 [doi]