scientific article
From MaRDI portal
Publication:2848683
zbMath1272.68264MaRDI QIDQ2848683
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610505245X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
SAT-Based Model Checking ⋮ Formally verified algorithms for upper-bounding state space diameters ⋮ Deciding Bit-Vector Formulas with mcSAT
This page was built for publication:
