Improved Single Pass Algorithms for Resolution Proof Reduction
From MaRDI portal
Publication:4649291
DOI10.1007/978-3-642-33386-6_10zbMath1374.68489OpenAlexW1629713226MaRDI QIDQ4649291
Publication date: 21 November 2012
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_10
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Optimization techniques for Craig interpolant compaction in unbounded model checking ⋮ Resolution proof transformation for compression and interpolation
Uses Software
This page was built for publication: Improved Single Pass Algorithms for Resolution Proof Reduction
