Resolution proof transformation for compression and interpolation
From MaRDI portal
Publication:479815
DOI10.1007/s10703-014-0208-xzbMath1317.68123arXiv1307.2028MaRDI QIDQ479815
Natasha Sharygina, Simone Fulvio Rollini, Roberto Bruttomesso, Aliaksei Tsitovich
Publication date: 5 December 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.2028
68Q60: Specification and verification (program logics, model checking, etc.)
03C40: Interpolation, preservation, definability
03F20: Complexity of proofs
Uses Software