Duality-based interpolation for quantifier-free equalities and uninterpreted functions.

Leonardo Alt, Antti Eero Johannes Hyvrinen, Sepideh Asadi, Natasha Sharygina

Browse the full FMCAD paper archive.