![](/img/cover-not-exists.png)
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
Cimatti, Alessandro, Griggio, Alberto, Irfan, Ahmed, Roveri, Marco, Sebastiani, RobertoVolume:
19
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/3230639
Date:
August, 2018
File:
PDF, 6.58 MB
english, 2018