Cutting the mix

DOI10.1007/978-3-319-21668-3_3MaRDI QIDQ1702886zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Describes a project that uses

Uses Software

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

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)