Resolution Proof Transformation for Compression and Interpolation

TitleResolution Proof Transformation for Compression and Interpolation
Publication TypeJournal Article
Year of Publication2013
AuthorsRollini, S.F., Bruttomesso R., Sharygina Natasha, and Tsitovich A.
JournalCoRR
VolumeJuly 2013
Full Text