Simone Rollini

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich
Flexible interpolation with local proof transformations. ICCAD (2010)
Simone Rollini, Roberto Bruttomesso, Natasha Sharygina
An Efficient and Flexible Approach to Resolution Proof Reduction. Haifa Verification Conference (2010)