Experimenting on solving nonlinear integer arithmetic with incremental linearization
From MaRDI portal
Publication:1656597
DOI10.1007/978-3-319-94144-8_23OpenAlexW2809752556MaRDI QIDQ1656597
Roberto Sebastiani, Ahmed Irfan, Alberto Griggio, Alessandro Cimatti, Marco Roveri
Publication date: 10 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_23
Related Items (2)
This page was built for publication: Experimenting on solving nonlinear integer arithmetic with incremental linearization