Jochen Hoenicke, Tanja Schindler. Efficient Interpolation for the Theory of Arrays. In Martin Brain, Liana Hadarean, editors, Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Coference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. Volume 1889 of CEUR Workshop Proceedings, pages 76-88, CEUR-WS.org, 2017. [doi]
Abstract is missing.