Optimization modulo non-linear arithmetic via incremental linearization
scientific article; zbMATH DE number 7497924
scientific article