Taking Satisfiability to the Next Level with Z3

DOI10.1007/978-3-642-31365-3_1zbMath1358.68248OpenAlexW59880180MaRDI QIDQ2908472

Nikolaj Bjørner

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

Mathematics Subject Classification ID

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

• Dafny
• SLAM
• z3
• VCC
• SLAyer
• SymDiff
• YOGI

This page was built for publication: Taking Satisfiability to the Next Level with Z3