Ground interpolation for the theory of equality

DOI10.2168/LMCS-8(1:6)2012zbMath1239.03022OpenAlexW1972614792MaRDI QIDQ2881073

Jim Grundy, Sava Krstić, Alexander Fuchs, Cesare Tinelli, Amit Goel

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-8(1:6)2012

zbMATH Keywords

satisfiability modulo theorieslogical interpolation

Mathematics Subject Classification ID

Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Related Items (2)

Interpolation systems for ground proofs in automated deduction: a survey ⋮ Parallelizing SMT solving: lazy decomposition and conciliation

Uses Software

• SMT-LIB
• SIMPLIFY
• FOCI
• DPT

This page was built for publication: Ground interpolation for the theory of equality