Experimenting on solving nonlinear integer arithmetic with incremental linearization

DOI10.1007/978-3-319-94144-8_23MaRDI QIDQ1656597zbMATH OpenOpenAlexFDO

Authors Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani

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)

Recommendations

• Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions
• Solving nonlinear integer arithmetic with MCSAT
• Incomplete SMT techniques for solving non-linear formulas over the integers
• A practical approach to satisfiability modulo linear integer arithmetic
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(5)

• Verifying Whiley programs with Boogie
• Towards satisfiability modulo parametric bit-vectors
• Solving nonlinear integer arithmetic with MCSAT
• Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions
• Incomplete SMT techniques for solving non-linear formulas over the integers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1656597)