scientific article
From MaRDI portal
Publication:2848685
zbMath1272.68230MaRDI QIDQ2848685
Roberto Bruttomesso, Roberto Sebastiani, Amit Palti, Marco Bozzano, Alessandro Cimatti, Anders Franzen, Ziyad Hanna, Zurab Khasidashvili
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600003X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Towards satisfiability modulo parametric bit-vectors ⋮ Optimization modulo the theories of signed bit-vectors and floating-point numbers ⋮ Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
This page was built for publication:
