Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic.

Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani

Browse the full TACAS paper archive.