An Efficient and Flexible Approach to Resolution Proof Reduction
From MaRDI portal
Publication:5391528
DOI10.1007/978-3-642-19583-9_17zbMath1325.68215OpenAlexW1589066270MaRDI QIDQ5391528
Roberto Bruttomesso, Simone Fulvio Rollini, Natasha Sharygina
Publication date: 6 April 2011
Published in: Hardware and Software: Verification and Testing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19583-9_17
Related Items (6)
Guiding Craig interpolation with domain-specific abstractions ⋮ Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses ⋮ Optimization techniques for Craig interpolant compaction in unbounded model checking ⋮ Resolution proof transformation for compression and interpolation ⋮ Exploiting partial variable assignment in interpolation-based model checking ⋮ Efficient generation of small interpolants in CNF
This page was built for publication: An Efficient and Flexible Approach to Resolution Proof Reduction
