Publications about SMTInterpol
- Jürgen Christ, and Jochen Hoenicke. Proof Tree Preserving Tree Interpolation. In Journal of Automated Reasoning (57) 1. [doi] [bib]
- Jürgen Christ, and Jochen Hoenicke. Cutting the Mix. In CAV 2015. [doi] [bib]
- Jürgen Christ, and Jochen Hoenicke. Weakly Equivalent Arrays. In FroCos 2015. [doi] [bib]
- Jürgen Christ, Jochen Hoenicke, and Alexander Nutz. Proof Tree Preserving Interpolation. In TACAS 2013. [pdf] [doi] [bib]
- Jürgen Christ, Jochen Hoenicke, and Alexander Nutz. SMTInterpol: An Interpolating SMT Solver. In SPIN 2012. [pdf] [doi] [bib]
- Jürgen Christ, Jochen Hoenicke, and Alexander Nutz. SMTInterpol system description for the SMT-COMP 2012. [pdf]
Publications using SMTInterpol
- Evren Ermis, Jochen Hoenicke, and Andreas Podelski. Splitting via Interpolants. In VMCAI 2012. [pdf] [doi] [bib]
- Evren Ermis, Martin Schäf, and Thomas Wies. Error Invariants. In FM 2012. [pdf] [doi] [bib]
If you feel like your paper should be listed here, feel free to contact us.
Last modified: Wed Mar 22 20:25:10 CET 2017 
