Pages that link to "Item:Q5178991"
From MaRDI portal
The following pages link to Compressing Propositional Refutations (Q5178991):
Displaying 7 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- Data compression for proof replay (Q1040776) (← links)
- Compression of Propositional Resolution Proofs by Lowering Subproofs (Q2851933) (← links)
- Propositional proof compressions and DNF logic (Q3081241) (← links)
- Fast DQBF Refutation (Q3192073) (← links)