Efficient interpolation for the theory of arrays
From MaRDI portal
Publication:1799115
DOI10.1007/978-3-319-94205-6_36MaRDI QIDQ1799115
Jochen Hoenicke, Tanja I. Schindler
Publication date: 18 October 2018
Full work available at URL: https://arxiv.org/abs/1804.07173
03C40: Interpolation, preservation, definability
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software