![](/img/cover-not-exists.png)
[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions
Cimatti, Alessandro, Griggio, Alberto, Irfan, Ahmed, Roveri, Marco, Sebastiani, RobertoYear:
2018
Language:
english
DOI:
10.1109/synasc.2018.00016
File:
PDF, 486 KB
english, 2018