Alessandro Cimatti Alberto Griggio Ahmed Irfan Marco Roveri Roberto Sebastiani Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. 383-398 2018 SAT https://doi.org/10.1007/978-3-319-94144-8_23 conf/sat/2018 db/conf/sat/sat2018.html#CimattiGIRS18