Taking Satisfiability to the Next Level with Z3
From MaRDI portal
Publication:2908472
DOI10.1007/978-3-642-31365-3_1zbMath1358.68248OpenAlexW59880180MaRDI QIDQ2908472
Publication date: 5 September 2012
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_1
Related Items (3)
Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ Sharpening constraint programming approaches for bit-vector theory ⋮ Extending Maximal Completion (Invited Talk)
Uses Software
This page was built for publication: Taking Satisfiability to the Next Level with Z3