Resolution proof transformation for compression and interpolation
Rollini, Simone Fulvio, Bruttomesso, Roberto, Sharygina, Natasha, Tsitovich, AliakseiVolume:
45
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-014-0208-x
Date:
August, 2014
File:
PDF, 1.17 MB
english, 2014