Pages that link to "Item:Q4930598"
From MaRDI portal
The following pages link to Two Techniques for Minimizing Resolution Proofs (Q4930598):
Displaying 6 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
- Parallelizing SMT solving: lazy decomposition and conciliation (Q1749390) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Compression of Propositional Resolution Proofs via Partial Regularization (Q5200028) (← links)