Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic.

Angelo Brillout, Daniel Kroening, Philipp Rmmer, Thomas Wahl

Browse the full VMCAI paper archive.