15 citations · 19 across the 10 of their papers we have counts for
1 paper · 1 filter
Jochen Hoenicke, Tanja Schindler
Existing techniques for Craig interpolation for the quantifier-free fragment of the theory of arrays are inefficient for computing sequence and tree interpolants: the solver needs…