Cutting the mix

DOI10.1007/978-3-319-21668-3_3zbMATH Open1381.68262OpenAlexW2099987197MaRDI QIDQ1702886FDOQ1702886

Authors: 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

Recommendations

• Cutting to the chase. Solving linear integer arithmetic
• Linear integer arithmetic revisited
• Interpolants for Linear Arithmetic in SMT
• scientific article; zbMATH DE number 1956605
• Theory and Applications of Satisfiability Testing

Mathematics Subject Classification ID

Cited In (5)

• The cutting of compositions
• Extended cuts
• The mix rule
• A reduction from unbounded linear mixed arithmetic problems into bounded problems
• Cuts and gluts

Uses Software

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

This page was built for publication: Cutting the mix

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1702886)