Experimenting on solving nonlinear integer arithmetic with incremental linearization

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Towards satisfiability modulo parametric bit-vectors ⋮ Verifying Whiley programs with Boogie

This page was built for publication: Experimenting on solving nonlinear integer arithmetic with incremental linearization