Cutting the mix

DOI10.1007/978-3-319-21668-3_3zbMath1381.68262OpenAlexW2099987197MaRDI QIDQ1702886

Jürgen Christ, Jochen Hoenicke

Publication date: 1 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-21668-3_3

Mathematics Subject Classification ID

Uses Software

• SMT-LIB
• Yices
• z3
• SMTInterpol
• CVC4
• MathSAT5

This page was built for publication: Cutting the mix