Pages that link to "Item:Q2303251"
From MaRDI portal
The following pages link to Strong extension-free proof systems (Q2303251):
Displaying 10 items.
- Non-clausal redundancy properties (Q2055860) (← links)
- Covered clauses are not propagation redundant (Q2096437) (← links)
- Clause redundancy and preprocessing in maximum satisfiability (Q2104499) (← links)
- Preprocessing of propagation redundant clauses (Q2104502) (← links)
- Simulating strong practical proof systems with extended resolution (Q2209554) (← links)
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)
- (Q4989407) (← links)
- Preprocessing of propagation redundant clauses (Q6053844) (← links)
- Moving definition variables in quantified Boolean formulas (Q6535574) (← links)
- Without loss of satisfaction (Q6605336) (← links)
