Pages that link to "Item:Q479815"
From MaRDI portal
The following pages link to Resolution proof transformation for compression and interpolation (Q479815):
Displaying 11 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
- Data compression for proof replay (Q1040776) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- Compression of Propositional Resolution Proofs by Lowering Subproofs (Q2851933) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Propositional proof skeletons (Q6535365) (← links)