Flexible interpolation with local proof transformations.

Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich

Browse the full ICCAD paper archive.