Efficient Interpolant Generation in Satisfiability Modulo Theories.

Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani

Browse the full TACAS paper archive.