Interpolants for Linear Arithmetic in SMT.

Christopher Lynch, Yuefeng Tang

Browse the full ATVA paper archive.