Satisfiability modulo transcendental functions via incremental linearization
From MaRDI portal
Publication:2405243
DOI10.1007/978-3-319-63046-5_7zbMath1494.68281arXiv1801.08723OpenAlexW3103017377WikidataQ62041076 ScholiaQ62041076MaRDI QIDQ2405243
Marco Roveri, Alberto Griggio, Alessandro Cimatti, Ahmed Irfan, Roberto Sebastiani
Publication date: 22 September 2017
Full work available at URL: https://arxiv.org/abs/1801.08723
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (4)
Lattice-based refinement in bounded model checking ⋮ A conflict-driven solving procedure for poly-power constraints ⋮ \textsc{OptiMathSAT}: a tool for optimization modulo theories ⋮ Flexible proof production in an industrial-strength SMT solver
This page was built for publication: Satisfiability modulo transcendental functions via incremental linearization
