Pages that link to "Item:Q5391528"
From MaRDI portal
The following pages link to An Efficient and Flexible Approach to Resolution Proof Reduction (Q5391528):
Displaying 6 items.
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Efficient generation of small interpolants in CNF (Q746773) (← links)
- Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (Q3454106) (← links)
