Pages that link to "Item:Q2181921"
From MaRDI portal
The following pages link to DRAT proofs, propagation redundancy, and extended resolution (Q2181921):
Displaying 7 items.
- Non-clausal redundancy properties (Q2055860) (← links)
- Covered clauses are not propagation redundant (Q2096437) (← links)
- DRAT-based bit-vector proofs in CVC4 (Q2181940) (← links)
- DR/DZ equivalence conjecture and tautological relations (Q2285043) (← links)
- (Q4989407) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
- The packing chromatic number of the infinite square grid is 15 (Q6535369) (← links)